SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 1/ l, ]S Old_Datatype_Show:threads=4elapsed=12.604cpu=14.812gc=0.348factor=1.187zXZִF! ]ŗXf[&QͫnaʵP$xE@E={Y@/kwOpx"I|<ԒVTܗ(˅о:9oxT'^wx'C D%x%V .4b]|@̲Ğ7G++8ê城Z|Z'7:ćOeOؑzBȖI JXgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslMa{*6>)Hy>Jrp-Wlvo e61;p#~JⰄ3=vtFT_!(y']y@ޘ&O1]=>6ձgYZ7zXZִF! G]ŗXi%B )B1{}J'quJc"A0 {}+TdPT)6>R=8/x.I ֡>fm](KDk3εg= W  e VҼ.F # 󁘶Bݹ q`v}k%1D$ kш~p=y8D7-k :);ɦZ(w CQϿ%\)d}QT!{"t#S]c]W4ڙ3}ORyXOZDؚM>K4( Y_ƹ|PB7U%F)RTt}!"$jjv8vMM a<0cyb/ t $eO -n+dWbϨ5PWPdJmY DG{>BKе%(b]5-K I02 AvǦ_|oF3kfr3uRu}٣eπeù>WW /|d$h5yQyZĈei!Jrp;.qKK  Wl[dT@]iʽ~p lv~_^UkE3-yA_Kg 2,X}Uϗp3Q"xǴG,zPIy쩂\p:t_b~ǻjM6+%! F)x/go(B'iIqQ y-fZ7ZYdD6~ZfdBbCn(8Ĺ]}vJ`&?_V $mxl LZɶ3@$ϸd/O`z\_Ɩ>V F{cnMð8oWxN פֿ#ٍb0-m=vgu-)RҠO"Jg"v'9u et.C'yReP?t-UÊˍ?7M'K<,m pCk ʡdr*Ln}+r ߏiDUgYZ6d8a1271790c2ae650391bcd417ac25321a43b82c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 57fcc02561e2eae6f343019fa66895ced0e663bd / Old_Datatype_Show