SQLite format 3@ . BBh77otableisabelle_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 (%d ] MSO_Examples:threads=2elapsed=68.368cpu=128.404gc=3.896factor=1.887zXZִF! )]ŗXf1-/6vR[UWdT-]!"Cu"0Lm% QWp37JDLqqyRk_ 1"gpo=Љ;Wfmd'hL8p@iM5^hz&WW츏~R%-(3tAlφ9Ƒ BV~H86>x#'*|v)bʢIA4 UCaU|v;#(d˞ 7zJ saװNfLFcPm"]73qeMK\ nŭmqDj5l'LIPR][6"0QKP9}0»\cŌFe~Nkj.FWʍF 7|ÿh ٱS-ׅtե}%!ŔIt(F/2 9΂QFeQrm}cIh#jjsd젞M~5c!G8Di-C&ttح"y>hyzaBć/3р%1̃g=q&fM+y"!XDSޥ,AV\4UAQLlKTĐ ֗rG;$Ӷ l]H|ʎZiADOҚG\joEt t3Q #NXM16{A tEY;}I:5fP6tR)tP1 KֈIQQڊʎzt M'~:g=xy#$T7L1%=aCY_  :o7RuGjL;-ҺbאY,,>gLS=Z_6oShYգF=ϿL@, O@2}ӺlcLQN1~xOFo7ZL^Wv )ȇS }(̓ V^6lf ɟUjAsoݟH3(x!@QKբ؎r% QcuK."@圏1<򘉘ʹjZv>A'J¼ RV.zjD%Seq6]# 䌀iUoRo{0߫ v_2,]>\p]h~9Ъ_J|,~qs۾U X-ds_OUy/pT"f5dv:Nn^"khӨXU9|&I F!¢Wr!d&[hﻐ@@vЎ7OuV \3 -ӷSᾁhlT݆Bބ_|7D>!S-LScpd%W>nߡPx5<0=BqϺ%ԓ]I}7a_},V9XZ1cg̳U;nu 9QfM;ι9{g۶jKG#"7w "BHc3jl$yC2ɽs=R[|1ʆ !٭ַ@~T8;bȥ^IS`V(-U܂`'(>ߌ*Q8\ލ,,rqCi/a􋘄aʺ %:AOa O1W4o?"aGԴ%`+5ֻH}cFր40CR1x[u0?o`a'_ le]y)x)] '԰.a)GN"N8yS1i=,IDl/Ij#Ҽ/^ϋ8-j"﶐lQ#d'E4?Z\C96NH D&8:A Et TH:HKtCl"`|b#1o$*kwb7>4}}ry(}3Nu<[,rwۣC^pX'm9#(T(>,E 4coFevdFKT?Qϣ Y]n嵇wÈRwӄ@-)mӗw0d$o 6"N_Hml AB-ٹ^ L!^uimt̗L@ۖ5Zĵ6f:ZY𖑧\&/*mATb"K^u I-C.q=/Vk *cG8c#%"}oéj~&|4X*[iKd{V>bËwwMSJ~zaJc<&U&iP[,}~*6<&ÄΧ Xq=9ᒒ$Kn g?Zxa*(XH؊5´.e.QTjݎ&! EJ5tĔ.pԴQ֑~Ɩ@ޜܲ[_Vq3I]*.53a e2K-`D!Sܨ_riCQ'*lIĶX϶v b9J*Ma /DT @=򌖛H =#a, NZevUn$عm.(GiύC;+w°OG# r@VY b,MPQ+O% q04Whwsyz7q;:GRg^Ǭ: Id/vdmH"O敦Ǟf"K2iw:vo*Ye 6=ȸhSgźtk<撂D ʯ.xVU$fe)/#Mo޲UQ̄Jo^wIw[&A?)l qP?/>= (M"@ Ȼz[G:m$VoPF<,۵֢0ʷZ 5;<bÓη:MZcr1\6Gy?!EyjO*kM?EC%_/+Q@"sQv- v{Wi~nAZoNOR>^m~i_lz $ ?-L`[ʳ7ԗqSAc)T52jyt+PZFE;q|^PalE/Ԍ `Ԭ`OSAACQIio\7gxПwgYZfe4e1408aa8bcb9431c5b457f902fcd7347a7b8cf4bc8d73b6c64716a5747e042c7c9f50e33b4d9a a975b996cb0122f4bbc0d4d5892986a1c87209c0 d096f301a40434be478ec4712b140ecaed4e2551