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 # , ] Shivers-CFA:threads=4elapsed=21.490cpu=65.928gc=2.976factor=3.077zXZִF! ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&X UkOT R(RWFڭd-5$G!YizLUbX D.ܖ Rn)GӋ))xذ>w9-cܰ:Zwnoq}QȩmzwUjo_wRpi.9u}fv=Eߋ=⻿/B#zc+ hL5}M"$k̏ӓ3U76U`HuZ0Iw/liC&ΊyȅM;{Uyc c;~H=ل*IӤ;a98|BXhf–'ܹG2p}p e5A[XdW˥`<^eL&=*O6Z'{o$Z!e} dHb I}awf?)iCdQ([ͅ(ōɀ55Rf|{(VmC^gUC5 {_ R{Ea[$hdu@nCy[9 (Z }:+> im,T}^-ոa#ϓ^C0y>Q\K؋ޓqN/as9IS%}oM14;XV=GcfrF *=V,qX#xrKE!DG,?x*ZgYZ7zXZִF! QO]ŗXiɟ1˦rnzx <@0+gMLHMv[׬:Xˊ8VՃPS. mL P"\.#|Q$`ӷƟ%E?_$xCd=Oo{8POs ,>ΏUxIFii_S̻'@1gE^ 06rɰv}Ц/M Ctw; ?qߟLGhaD3E Jfkԙ~e²}\..AD:C=r>2u ǹp96Ց#VLXGgYZ7zXZִF! f ]ŗXi%GV8I%Ba!uMNۂ0;v[h.-|<C?d"+n'޽4sdZv"tl13Rl!a'kŇlo9@IUHcc,'5^$d!6 V?%0[Kɑa=Ы!挗t$0 7dB4Au.`F%4?o#ơh ,thI'aJ9 ,8{ "x: JډM))s 멑 m (\&@9rѵG@U E?v8q3NWft ߗ@"vs wyt.o3jU!ERޓR;CLeC:m0|2/2 tlAF/SGrk(51?YIGL)aTy.K) `%uEŶlJd,#'7#w 5ЀNQgSi69>&hә80:2'JI͐i vV{LlDo@n0r?A㑋ANċK{KX˟MMj~J[\OoY;ye\٘nŢ@O!Օ|Ƿ~ø?R7{7'7H URw>B~ 6}˫j-AtXԩ{W=ƂC;$PRm#aw_ttoް"<>|`D%g,6V|3ofdE;QC0 c\zHŕ{A& ƚz 4 f0FAܡwzK8D'=t@"c\&oGzyTkvlbHHKFK\<2=nyd$TVHL #Px '#6[mٌc+$H^Ew_!F+ 3bDw7p1prLϣ=6uKS E{`zHFxmk}@4 (;WQ1Y< *$\?&o{] =smq ֒YcVId>3 JѫeBO#ڸ(WΦnYsvF^RE =ٸ\8} xɥYI35wg mW1RWHأi$t"Dy\^y$toeӉ`BC4Ɋ|dZєJ]HV?AMlG2V¿믟m DhI,*fy=[an"z[&jtS,$Ri*خF5>"1OmJѡR܀V1 +yiҘtsK7p#&CRa^:jtEF3t4+A CO,A,jNӑY.y٤~OP !-JÄ2ڍxײeAjLhC:!|.U[]/(WݟF[睆,\L9LE苋1dS?&}7ƻsĜ͆%(ɳlmtHM%{,::ةZl[I|=kCؽm \NC:D 65;E,#MC`DiKH`$ m=hs))5zd3v2;1^N\)>h>9k%^R a gge7fP:muhfVt{7S)ɒH?^fI"?.C1t,c(c}Ya?_ _C3}iP Qg4%; +kתe$hSLYnVCQMX+s]햩ź}񭘿DeCShZ"L"M:bhNq;Z=ǵgգ+YE\D?ɋ2Uo>!eֈܓ cgYZ19650a573967550d59b0d51ba34cbdca85594b9f4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 f3f649306a47784fa6d8a6fec93370899016cdd2 # Shivers-CFA