SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 Dl ] SuperCalc:threads=2elapsed=42.575cpu=80.736gc=3.880factor=1.907zXZִF! (]ŗXf1-/6vR[] ֧"zժڋZ( l-:;G.GXӹf)!@rНJSK/]-+ T8&G}Yl%Y< ?BLPz?f#juf}(jĴ؆ G[ v6MyHP}_=5=⃑F*LRnPMwRDb   SuperCalc  rfs:5nr뇥fan/osD Ȕ RV]T$H]fVjjZ"o[pF:LjY0/J#{f9E{V_Z|̈9ÖEPGrӋ\zwZΫ5^lu|2x5OC{ 'Fxg-*iX"|4^ teg{N{#.ښ9"dEl detJ^v'J'x?Xl6+aT.dݹx_̚KI{ S&fS:|" +w"j\ eQ5 SnPͽڰx2RL0H(B52,?|s!ϒ +xu74J]_WL]V|mT2f ㅆK'. ffك@Iw6A†5!&/K9fBWSdhf?-n jf^)H4_V%q3jY>XʻӉljęF5vE ڥ׽QpL wSP^@ gYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉ 0bږ)x'2428x:{ҒaP6I~c {qs } @-GJ W ƂK?:Bը,㏽EʊDҠ/'E<)lubOt.WJ˫++˟dȒC~QEgy}( ~khrʕ{_M,Ӡ7tWR)/ڱ#43($W-!`ֵwX3 p2?"@i8k|D Q9#4W#EK2%!6nI0B3:&cggx;1MN˫ť6z7BIeʊ{" 59ݷ'ušdSeK<ޡu"V;ʭO)?(7RNk d]1Upe9$1^HLG8$^m !ub(r3Zg (}ui4[ -X&X;V …=0dﳫzד_Q?ۣXHwxv'W ~G+ϓO^ȠxF 0 IMM={M_qOcye&xX=ڙohf_`l#&e%c\1ij;s 8Ep{o$ sm 2I#$opl*՘ʤl_sԛ](Vu@Jh?Ym?TjK*f\O+WghbNgThQQ̔nc"7kR[;%v[k/@Z,$1vZ>Ԉ>I_]`w Ս |#S 鹚B6hiZF{bDjBbW?=N~ؖҥs 8=JQӪטH3jWz6޾*AJ -צIeIE+h#py4tHmkveR&2w-@Xc|>S`Ώ\.l:|{q1-V)#GbXJDCIUrrz;EO}AR8Y^4']ѦSW~f n^4x=|B٤ ՜;Sɛ]$jImYĦˋ'Z払,Gr[Vb"@nj򜋑O ;(ENbt+TH۰/*#ǹ7N*tZǟ01\J6J|OmxqIN0~ pSt]vNxn?rkj/ sWJ>vݾ؞MTZvnԎ>V* |GL/tkG85.5≞%.2DV=5&?h ]cZ iYb /Z96c37v-N*Y31G V=li|Zm֒:6vn_'ھvh faȣ#W2QūEkZI):X,`y|i^\^n؍~* |6 \c M. $[/tI={Q. Rr [X:~ PݷjѩRNH`eY,;Hbp+0FH3{(>[Ͳ^\F<|I쳭TڧF2Ň+g(4cQi3D?s{sWy];_u> Me)Yi@86eWZ'+B鋛 5| ?G˸,PGs'v (~fNn0}G&cZ 4+Ѭ0"-]sy- t$[C=a˳!f( |eA.]V}"b] T-J2[~?=4o)cmWtzNI2d` +`TV.=zQg2W#Rfi@>zfi%ß LgCu,?VBX%H2ےYBB㫤<0W lXVy }U]̺ O.P [9.^ Qj=5:c+A4rWAqX!ҤO4aai6V|`?uX;>rd@5S>ӗqxK&AVh=%Hʷ&JEkYz 9ЕyD,Xe6BB0U%EvTwt2f1+ݑꯜCֱW&+ 3Nb] +C(oHׇpҌsG:YYS}lr6/c/L]Br2u#Iu}dT9JkɿS<$IG1 jD5aLVlEԩ,qۦ0;=qVH*@e'/,'4x[#m>)DV[jú\j*m>ߨ4dtx49:`GgYZ6b2cd8a65d674cdd3ae204a01a6303510ffaddc4a70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c