SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 xx \4, ]/]HOL-Word:threads=6elapsed=9.923cpu=47.704gc=1.872factor=4.817zXZִF! 4]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y !DOѩQnL] 7@"񲝏htW^NQCB7 yxj??eN ]!Gok`ʝ hSx3E/h2pXޮ( cYhr0хO=]گϰDEto-З˯u5]^Հ(x?'3 ĨN`Cp]3ȉRdNm9 =زK[5p0J*z&ijiK.(i{|:O)QkWOlN'Εێe0~2M^B9 D-&(~Zx gl2.n هc7>Lh,VP됌ȋ;+>?Xg69QT!Ӯ QfͫNn56gAt[X"nJlD`vd]`[o ɉ#]̜ dIK|c8pPI͇03Pu4(I $6GAs7 /3, ; &fiAUBpx::ܨJ.A~F%PMlMًZ=zH ߇[~MK@%޿ZGOʪЊ6<\Uҁ]2X^*0gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AS[z}"hBiosAjΈ k d D=,dO+zsZxmPfp[RH}dI^ Nb-̶@䔒b,vYB6 %)OrХanYFBH ^oK#\{*Cv!+bZ +!wz>e'''(|4(!nCJM,8cwY7TFL‰:~6ep%;1ĺDň"BMJ5uCڣ~s$<9"*p _g90%ECG_^3K C?.5Aq C9ܱgYZ7zXZִF! 2O]ŗXi%@Zrg8dÀk67$lZ^~5_Ao=aR/w :߮ YsUTcB3רD:y,.{X]v֠MZ-֝.>|1_ߏ'gb!w,};o]Ge|'"`?(Axk,yHHBl]:Nx ia^קd,Rp3UzjF?ܣ& -lemєW8]ש;}i nd*;}]!.ǥS;"U<<>]x_i](fh@.:gt%mCd &A@.؊m.-^gD=uCў\QsQ2R K;/SK1cW1]wufÏvRph~\H0͘- -g]dMVw5b8jm8yLL^Y P;O4]?ȚϋG׃X K%O/r4'ܞ jG[–2hvP+1r*Pd%7wʏQF+~˩1@%ؿrB-I&hRd49/YnT=50%rlXH<W:TǶ"}MAa0Tw3 LU7%!lkYc1TVy4p͍71(Uskk?*Z^4a