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 !!T5tD ] HOL-Complex_Analysis:threads=6elapsed=34.373cpu=160.692gc=4.920factor=4.687zXZִF! ^]]ŗXf1-q恈aB6p~x6\Rz҂G6.V~z9_ue)VUqNY6<@<3_i5X{Hd>'?;=SR^V́>@Dݴ(@n;^!S\Eh '| yd!b@GK Uq2p;G_Bӝ"` ng> b(׭тLVp H6ae}@p{+$!>M5ڧxʽ=] \KJԱxt;Bz(q|g4e) ,`PC22 Wh"F`)y~(@[.R惌f@G#vDʧA| *KxvP5E)RE$ N ~m}) 56R7|y er˘鉤VRI%% =g_"ۢa2?\ 1Gl_pD{tp5>m shd{G^oX zk) 7/O"k+Ajai;췇7fW H $RʠԬC\?b?Tm2wU-n"di.LsR^)9NkIm5`>[N{A\D7{'TnZp h#,Jx&jJ C${~3C8F?3I* NœX֟x8T;4dS nbbrj)n@wYetں礗GY51x_gLѹs )R$][,T,[c2^TAr]sd7}G2SBtM[LsY6#qx,]-(xZզMM`Q*ڂKiz #jM46{K^p'91p$gYZ7zXZִF! ]ŗXi%IHHCseA/8)cC *F]#x\L_ VTA!Zg$u)I xF+9>9n)aJsB!W&٠ a3&D ]/źpKOyαTxPs/.Ӵ R>8N p.4V: CŽNs[c} W1ۍTL%A QٻKQI3暨*a\rێŏi@wG?a.khr~9katk%Myvֲٞ]wbMb_(0h+_ YT<ĦXI_nS#ATܾ$Inb#1Ĝ1EaGEs%+!:!MwndAqtcڦ4]^r+Ȉ_;El*֛bA4ж< #/6Fhp؈Tpf|p87fV眖c^\Z_Fy^s:T_gI3 cdF(KT2@lB'aX8= &jk 7ޫvcn, ƴt;߃&(8y YoZcliHÐjIzq29 Qn4wL~jQ"E4)?g-0įV'U*@ NEO#-gI~1@Iw4/sLM Lٿqr3ZyoYӇ\GV,3?j9qt!C!M9V 'yvߔK } ĜLv#:Jyy<?/;:IqN!,ZPVF^O;ѠdHK|a꺾LF7NknI,mSMetMߍgiIZg[a}tb)>zQ/pڭZOߘ[>?+p5emͪM^!*%L=sUgb$ `ȔbYlR\41sN_azCɞ[f$=7ۛ0Pn J 'F3/,(AnC'3hւ+YuY߁r:[#Ҷ'Uxr(A}7 j<&np׆u"@g_JE5G!{ rB1Q}ϻ(c+9^ulq ϤGvz͑RIv|y q ~ HN+X]ZD^UnњYyb=kM9=\$-P=84UGWqΰϻ<8٦Où;4^OWض˲zQxxY;ؒ_ut [GXo/[悳HCӿ}<حW&ձS1s@i~0cEup)*k~P;R@d&}\7PQw݆4Vi\iT[\u W̛PL1IPqz$R^2fl}mՂZ=͉~} ?dC`AM72