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 Zptd ]/ FFT:threads=4elapsed=0.801cpu=2.640gc=0.0007zXZִF!  z]ŗXiɟH)0%oqR(%Ģ9Qj5$B6eÖÄtowιqq QN!yM(5K-Jd_yc~G68 vI'3aN熾Zޜ&o(gg(Bʞd adt*mS,O¾$)ݭ2MF $QwՔC=DI p.،]Vt.dƶ:PFY1QP3Ѡifc0,Kz&,T_ Sa +n\7ڔy؜a\L҅|]m+kΓ9b/ KDdX>@bGīf]Y4mB||R쨄#z:C(Z]aJNRsְٵjd^4]jk@(qw"˜lk&:ҙ+be dnA˻Gi9qKIX _&j%J ]IN_bn b;Bj>U=ŵRGN7I藶2Iђu 4ĽǍ?nC.\AЌy^A,w:އ67K&r~␠QK.ExFE?kyಲj IZ)3=TQ*O ItR䍄 ~d8/ࡃlb*;$3쇩4T!J5rG1u\MjX4:0bel Aa ^U<QY@6fysҳ:ܖ( H EvRp+d9yO1&~z)˃ Vq#d?,*m?XE|FB Z6d6r$!DY$|y_gD? jM Ït gWc2WOl` <^ogʺOeMeZ *졐ly jtV_XK80MirGtK Rmt !1 uD1=z2N@!5'gieՄZ<0?\-[lCʧ<+kOj?6La<G(ѫиN2N؏nxnܐ,%`,lA9("q!|ߵӻB$W^OYG)"0O0|@?X%CBr@l03dcޔ}Ę , F83"-d;kgݳO@!x{M !TؾfeP`cCt,YEBQeGEv0>dQH|E%m)bc>M2 z&c7_\ QVq Mج|^SG#Iay\Ǭ{#@,O1J<7Xe&M[WϗCS!?4|2p9zn"UBg- fevhF6jQakƺ3Eo;rZe;f-$3lTR󆶌c̣RveA{>)@Umir-ǛZ,/z[ԧmRRAoEs~ EґЗ<~Mu@bn˥S0xd9G)H.t-nt9#I!pD ^'P &N)ӣVYwW`(u5&Y/ lq;Z!%hAqצq98&LO4*lPy (cg^ N/,^=?Xz~nSinG @8<& !`gxIO)4_o.B- ? v@.kcRȄp}W M;,b_a ~Y3gGݨN#Ѿ me8 ATD/y:r]$7q1 FhlWg^bֳOiiE0W;_0[/}*,1팁5(b2F@oQې' ؛?QB䀬ψ;75Ҋe+?4H]5nEq_2ί-i,4Hī2e,vc떒|hRSP}u*޻!1xN,}Zt IwV ,+br0gA-R!{L&vb奝\b lv=8:dZ*5pSG XsVoJ`gCQ5<0l'4T.>FnjjP$;򛟊g>l@m(544%RȾ Dǐks(S:c>$rjYi(?'$pU=pL&0'pv3/%*KէW Dqzr6UU5bT6 LHoE&Jd*QމerT/re+L.J/ܺ>.pM]&0, %fy?÷nUO-Ye0Z@+FMڠNKxPZ x8:k@!7uD6V@/gYZ7zXZִF! ;::name=FFT.FFTelapsed=0.419cpu=1.504gc=0.0007ڞ7T}YZ7zXZִF! +]ŗXi%L&X܄VVE4 _NL;DɛD+ Cyf{ ywW61κk&ԋoL2X0|:\˸M(:Bvol|C$HYz1JsN.ruѢ jskT:c׭NSQRLFoeέ́l@kN401# rjgYZb4565227071a0d819ea09e080b0ac5c545dd91269aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535