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 !!T7$,< ]/ ComponentDependencies:threads=4elapsed=66.493cpu=194.740gc=7.300factor=2.937zXZִF! I]ŗXf[&[:0.mʬ38+Ro.fWiqkKbt M-i e%nsFX> ,`O ]Ϯ$xh./ГAS t,9P讀UmlMlL$*,|F{3[fy5Ӹݤv5{!AkZlo!$~ًq'A˯]2քt]29uab tEI.3W|=w1ASH-$=]K1\Ş6ZzqlmbM=X b xYlrP9NfviX_rXoXZ؏琅c X7t>)_4Kk|IEWoŠ*.o)v Arc~Nf}CKPwkNArLV@5:k|p*0pĖ\W Xu:.Qlۀצ >Olz=Cˁ --t7YugYZ7zXZִF! )]ŗXiɟf_ ȞK¢ `SF)qsL4]GP}?C;Par( hz ^PX "fАS^Oy}à12YO턭AsO!O,\G z}DtgYZ7zXZִF! cW]ŗXi%B)@6( / poV`^18/|);{LR.370mOq9cLyIʱ+:-C-e9- Z&Oxm[8Q$&P\D&=LF-C;5tE߾IUavD Rq%),>ͲP(AD}'`(&bHeX"vX첥f*p?6=EPu}%.9gOLo!$5 ͑A5nۨN X`:#wۅGBbβ# 7pRŰڞ;I bˆIv]( 5 t;爰 d]ϵBOή)22ݬT u( Z{-47Й:=-zcq(@c_WkY%Rf /SKb@C6[YjIΤw9/n?*Ϝh5}8@Fh< ZI'ٷR]gYʯz Gወos:UzDEQC-|ƅ~CaeK 0;?2/;*=xœV^(F}%v U HX[h`u QfO\#Ð@%zf uֲ~Ϙ`QT".zN˦FfsҔe==9Gn-!|4PfԖXf́l% ]JBO͚Qp[gH)(1v4c1']6˭•ahu~{2wmW3R F~Fŧ8HVz`*~{^Bav4 ^,MCUٝnp!:kGvƮs5o/֘muXE'xHZίVeթIH + eZ\,=-U1n%eo|ŋޟ@uf.=(?ssK9*ea4x=9I˕`~ ;f,ɡښ(,-I)P(kc,h/[EWL[^#dM'̝ZSQViu~{g[O+lXM~&MnXv*d p:'Xu wc2ZCgz.6b5?ZEfὂŢhL5I^L}2`smIeh{@6 Vۥ!1xE*`+,b%h_ZY0_a[U[쌳rĂ.JacYZ i3v.x@T˿  Mu +V;fAQv%P-oQ;_O=1#42sǟ?k9*`K:)TUm<˘.i9HiMQf "1h+b2V/!8"'4$PQSn@~IG[O}pj|薰ieO/3Hqb_;jT (/sAUrU2W:F$j;,CիM;`짊lp{{e-_p !:*tH|eAe7Hh }u knƩx4'wsި.Zہ}%PuXY$9 &.73+Bg/?2=B:̷v0'߉/c:V+`Bj)L3ӼfT]UmKl+Һ@ëMswT|S 3#\P2]=ׁbJz]kY.Pn0ۦ2w^9@YwPnji<t&yŪr$JRwwuJh ̭*FY`ԥW"Yr.i@):`-7W*}(i2V QR9AgZ|9/ӲfbLguo5Q0d[~Roh4J;m.0{6 A$M!& U`ӧĚRhG%6%A.r-V)0en ٧h}MdjmZsQmP< uViZ eP1Q"˿/9U>i@G:bH&sFD'bpZ^l3Ht WD~G{TAkz!^79|+ic4BBcZ<;8>n@K_Z/P~h]7K>z=-Z{\hiaWU?D;'7?w@5)y~ӽҙY[:\lLKI|̅\Z{h4JLs$ha+EM(B)Vk|Zm"*L4T&:\MC>N2S_jB9@EF]dN{z:ny%12L(geHa``Ee94GQ]u[ɂ Sٱuݘ9_ep,01f™ }x#~[|1DPޛ6Fk^02+~G5c