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   L, ]/ Isar_Ref:threads=4elapsed=15.300cpu=37.520gc=1.788factor=2.457zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X5T;8"U.lPCt{vm6Lc6r嚴ҘFMxWz[D'y.=O7 .pFVp ?q:Q9w N;~CSf^&z4_!~mju}g0l˫ 踋^ Flz qDTEɛ4HPfk&#1'Aιs𴰥iգܦ0#(6DqeSQ:^ZSi=Ozex_P)08)P]:Ipʩ"L&K[i6]u$\}z_+pjW{MQT*VٝmP$1 9>+Bo,L9}Ǐr  u1u}y6x F ŻC`x/?qЙp }2:]u\,KyXt+#YԍXZ+4=ك,ߴu݇(f/:cmq 21H)Yp۰C- a5޴aUm3 (1?-.ܦš"5u!vz_ٕ8쉕w^/It4v=}8!# GgYZ7zXZִF! G]ŗXiɟ1˦rnzx <@0+gML 7;S5AMۭMF/i{I88 qVh9<ͤQO`^Q{ϭ(SРnο92Nz1k5d Ja1~e{Z\'҈mH\͔h lE)V>` g{2~4Рtz-|3 @{3ڄӆChnngL;>R*`r? ?nqAx7E,EaT?RP2fҹ k qN'&Ob}W%?w҅vV/dwJfu-Kg,6JwcXLZJ ]gYZ7zXZִF! V]ŗXi%B:gMڭ ^ l=&rsK@2ˎSVWjQLm}ӘŮo(Or5 Q@ؾpg,8=R/9qSa);mwM_¬[C~KTj< lBɓwN<Ia>SDQi"P52E!19 O8a&S˓F)S:-4I-sHqiIM3:0E8Pe6p5 ̆#T!lhKFLaRm ^~VʡNdH-b0(uj%\vc&Ỷ$8j of 5KzɌixd~xΠƳ\WeS3{֓؊1>Bd޳I6R섨S꼞X5^1/7X^QU`!مߒSnG~ߟF@9=Y%f:gz}Jr:#҃"8GN挪^،ƆB T <{ڭGp!7KI:fhixTNQckDsVIxp02v%k:\(P0KV-kv E`"c=¦mU#-Je~>%_ yTw+JӷdWW>RQ sl^2F0azi=ހasI_݉5mS(ifHC3m9 .9lTt^ɪaI6cup؞/,WpxV %*t7Q8kOs}+Q<(Afhح~#BcS<_4ZQlx/$q&ќ_ɏi}q`݊B91(Ma_ v`d%ĀQ u&CDZ Q |B.zq&NY,bSь$'@ KAW [K*FI1 iypߚ#Wv S?XBlKi>԰0])̻nTKi;*Y3l rj~< k̓bH]ڣ@hxY48pyPӱ03okShbV曈 U1( ^T\b w{=]Z>J(@lq^}%k7Hu,7:&͚X屼i!Dh;FQ큁K*ræ>i$98PSy#Ҋ&a\ \;č~U6Jf߹O ab%vӌ㐲'' I (9E`LkGeqT%!3|g