SQLite format 3@ .0:  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 7 l, ]/]HOLCF:threads=6elapsed=11.400cpu=35.668gc=1.808factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0M' +DΙJ=N`l0{+Eu>Y\fYl;ί TӂC-=>YN~;)ɨو6R ]>luzdn)0m)l45 n}{B4^ʎvM Rvf>RD y~ 1"] |DC56WŐ©[y6\-xۖlsBs5(4 ohCCB&KPX UmTmiQVDتsbܱ xfEF1MJ-BKF/wm09(Y X[iunRvr8m[wh2!Wc 0t@%\ArTmUiӧ+ν1sŏ5W7.ٛn櫚 D\&67a1W(SVݐ{DzO@~L%OL`g?ވKeR >M%G^o=N|ʐHJp1Ēlpy'?2_&;*VE BsfM@Pf gYZ7zXZִF! P]ŗXiɟ>Ӈɇ9S2]X$3Q'./j.c0Zs '!-C۠Th5w/ =:[j`q X,Y~;21J=gƸ@#$"s1䆼4O@͈*yj.cj<-.M#!+ؑߎ=yKXw+,98޵O'S%Oz$cFNz-8Qu+C\ hr#gYZ7zXZִF! @Q~]ŗXi%$Ͽ6u'ߺŪ|`,qDzwʔ'L ES62]ejtn#!NJYurqיsS;n8;V<"x][ZT+"7>d#-pN0EF%I/Wc̩ʞz|R,R_МcvUX/S%/v|b`/3j`.ZsK!i4bIe#`XM\qq+ %0CF /5 6;;%lqj \kB8[d@hRq}ú@m,:0.97 X7,4!]3?hnnM/F=XIc6JcEԍGKSdE5Lޫ~`eh>)QQ hiX?S*#ٕͻΤoDQ(dޢ5)GʬK`J"k k[KOQQ>wU㑒o|t'Py1J6ƏE2gó Da>V^M„Y/̰^q fցTPdH#\4w;S[Jt>zm*}l —!Re%>2 .ϋ@|@M!-R"6\Qw|zSUxN~WD<ǖYXcEӨ߱QS̓RZ-"dUUd= Ҁ: |gYZ31b50806cfbef5ea9df34d7ebeb90b52ab66247775f3f49252de203c33a45106d34066835c922023 ac0ee909b22cd8ac2bfe753f8fe785e0638636d7615a58e46dc821f1aa151b1ad6cfb112608a1599  HOLCF