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 p 4L ] SuperCalc:threads=2elapsed=40.199cpu=76.084gc=3.556factor=1.897zXZִF! $:]ŗXf1-/6vR[] ֧"zժڋZ( l-:;G.GXӹf)!@rНF$Ox ph|J)ezn&2jvM} DA+攦؂` 湛GI/q"jHjzrTË ^QF+=Dkm l/lQ%An,${`ƀd9DN?s};r:媊=_kJd(xM)Q^]10LW% #:ܘ)ѺCWzȏJrwni{Dik= "c@7_$1/   SuperCalc  H.y%EM]y ݧW ^ДQ$է#]+dZ1,jqS&/|r&SB̵gLh?XI#0#q՜^X{? rSi,Zt㭞@oҥ% %Ke>M?7c0m1 )-ET$| fQti`\xg.V32DBNiYh>tiE)QNh"%x@H )mCIM jΜdZ&3>ٜYr]<|tykr{`^``(6szȱ4c]N^-N"}i~čH6Ƥ_NKžSt9YW2G?̠kDf!@iQ*[^!"/s= /k%o_G~ĕ۹9:x"nu,ǯ q(^J%L"HzsgYZ7zXZִF! ]ŗXiɟ}Ɓe6L=+. 3 `ɉ.U]},wO3~,v6ЫOX#YdF9CkXt]Nz8ketuhgYZ7zXZִF! i ]ŗXi%>goT)9l‘Ro/IE˼ђA󐋗yAu%xO\5j*R3db&er/0Q(+Y*e7Tru&),Lku 8‚DD3酱GcI`Ă3:DD[#`&0wѣ'p쫢Qe3 )*1z^W~7JAӝ#2Ҩ|>1G!<0Fb1!~1HK4WOJ΁a`겻~ COfMfZSC`JPi%h޳6TZZ5JdZqd]"c| ]fPD wʫdWdEa"+m+ 4(;{\#m G\ؘy*GS.k;&I{]lk蛂,M ֈJE`\@_.YY¥Mt˦ӡ&*6jb/_zcR9R0⪸ppe62ZxU 5'nt&5 dh"s{eWxa7E|ӜK\0|<+a$9):p.@-t1?>r_Y6Vh)FB7U 7UCQZTRFqX _'nNnY{I,.4QrR6-X{^^q*%!OT(Зsغ_6 %WzwL*MT%/p ?C6f끘ņb*> $DӔ <ªv&!4BZ:΅I"@":@MHd^0X΍~&f ic!m*[$nbm&oOഎZ2 [kp:LzkUlo(tfaӕ )y*XGR WɗJ;+l}!. F5~Tՠ<^M95CH$8y;>잮3J›I`.B[:wrx rP0YЏdpi e,-ns Tm_zCFkR:*蘎&Z;l{XB nr:rq*XlVHņ+~L箳 #P83*oWl?=ܱ"o+4"c4|DFb&p7iG=Y_(> 3rIr_}e-XgRY p@#zit V8+rݔw&h]X7F<`YY BY,oJ3?h#Ď!h jP;^#EIbY F G"Vl}6h ]ơ UF]uq,BYT^({"ꏟ,f"t~lB1C%r&}8nwiHc9"d>O(Ǩ7: 9xI$tN> 62K=vW͸G9qC%&qآ+y܎?'ӵ"`XCJ^,+~q7:7mhۄ@7~9߆hP2#U?P-(/eջiW} >Wk`ǿY y7'#(3Fi,71PKܸC9ڎH{ 5joр) +<<>$]JC;ϙg7 Ӥ~G:Ghcݳp78'ʮ/uQ9M'9bݔS, PV