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 h; <\$ ]% Special_Function_Bounds:threads=4elapsed=30.131cpu=77.832gc=1.312factor=2.587zXZִF! ]ŗXf[&R7=u㢸GOFWwbYNXa暸hV5N knrE7,yv%oT_o2d@AKbRV|uOR HVJtݔ+} <]ʚ¡L_!HB(Kl>b䣯?|010]vI7/Do+d6y\TPGLu-vc$b'1x11(a{,n3)'Ӵ2JN:u2 -n,~VeyHvE'RlX7w*p` L ; Special_Function_Bounds  jwHӕ:xQ͋`˲d1’a70&GG (K_~"$OnŌW}$ͤ ߝHPųG~6؜OĄ۱\LZg Մ{siɜte%#Ix%EO ފ*HآfF]wyڜ!|Dmeh _v1ea!^pK֎׺W+6 > = gYZ7zXZִF! ]ŗXi%G>6gq'+d DgBa=0\ UؚW0/Ҵ½4Diꩂb+4CG'CxVLq>0$:k7/LHmi&"qG`@}/UIyv.Ƽ买que{{ܻd=9e+Pvv.;˙ \h21-&:t<*(^jh&t I4VYBj6Dia@C&\MJJi $X$NnU-n^n?|g&CI] +ncbb%1{֭t\8j][ctƛd3u(nK܋<('Oso| WBʶv U~m;ǮLybu;Jb`_1\b8 U.d,Z|pkDXָOymdX~yJ|~y)ɉP83mfT=<$;s=}2PQ"{cGP!*# ÏqXm>0j)VtZlw(I ;[eQ^fA5]C V":a )  \Ɨܼ|o"רYi%M=Z{fdf\wv(I.A*Z ^!nѥ\8aX)X؂2k8tdFtE9L%skb 5!W0Li*ZN Z7=9Y%:ZlwI:ȠY5,7]B.N4`;[qdDT[B'àҙ^}mzh;t|.YκYRJ>~`Jjq~L"&2Oݲυ%_T(ZӺ9BE&Xǒm!뀮cΗg |eR@]ŌB1R5~B˒ :[ hB820sN&}dpo32}T$xk݁;7[AL=QYn-h`͓Gk,ؚhQx\(|c3Ys#TI{''XC÷ ƥO)yqk=qs\kW>VX"ida- -UȠN֙ Op&˛[^|i|찧7d68M+ bS-Iz&m^''xPo I.rc(1&w-YJ"ե;GW 16a(榏$IÌ5@{V2(94b$Ҩ|SZ#r A$%pFF=M \Y STA <{FU.P 9豏zWWwb\'ɜzx 8J}k,'/g$DSW/il8(Cap0:*g)ZeB)ߠ<\UϚm7/ׅphG+6vvvZ~ĉ "w=Tm5N~) (6;5wӞldpmoւnmu=IVS|CaSt[ɻjV$=_XGgDW Ԯ^Ux7Y "E9y5:hqfFǔ 95{@O!Ml{0PMQ#[~.rft7hay_