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  F' lld ]%]Sepref_Prereq:threads=2elapsed=60.952cpu=75.100gc=4.356factor=1.237zXZִF! :m]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VA#6s xtt\-K=OLGb$6R8 *~//5m ²8TeVOOGHj:NVX6ĶyPw?#O$OΣ,^0Oj !kߎ{z1|ybUAE_Ҵ"FwN*ژ|Asp^J3ok@m/^T'yA_{ZKzNlFcV_F5cP&V`Re}_r4K^HwvҡHbz!?09vLvcnH;OXD LR MYw/*Nfq9 ; qan׭}ì*Pc:K s(ѲW-4'bUmG4qV*o^A3wA⯓j!5,jk.zBYddd:"'+ ԏ E0;aW$\ r^T@0d:G((ŒbUe'1~w42>hXsF.dcP@3{A|uP(GF+ E;IDo0P\B q^,i/SJD+<: [lǽPe#᭺OēaGS߂q4ݨy_12䓈]bk6DѸIr8sŸC;V>b =X9ڿsv>#p:6PCpw|%H[1n'08;V.)k.Fan>x "kGEMخ䧁-A'9K:18b.$ؓK3IU p=y(d֐1R~Ke8B414h3RkE;9};>*[_PpiVau/F~ ?yTWYI<.eS#D,fD fܽn)2ְ5a4eM08' z{~ɋ|Ş s0"eTjeC>üG!f.j]),_x $>+"a?=Mj(*2D7\[7utD ٜpFsʎgthyi@;}3 lMUյHY`Z}tL.f7ݻP1e9WXPK0e&Huh\f4 f~[]>3o82}9̿sm[L_b5 C΃`q u3*gYZ7zXZִF! o]ŗXiɟ1˦r~ ' Sepref_PrereqKunύNN{^UZ>>gmҽ󿶸=]Na!fkٱSedyw]+{y8+Dh~5j])'~H "t. ڼbVnu pYRcs"*~0 )YQՂ_͛uJTF 8? y~U`Uiy-:hE'T i~7y4% ŏEct~Nd%Ϗ?xk7M 834bkixc  ZK!Ӎ@g_qCU: )=!@A0N.)G}P_?;3=bG HcwZm 3A_!qw7 mqsLFGbGUl/fXq(x.a#$ >IB-U;jIbQ (şj-d:17p`<Q$^ԑx0FcP Kdc ըjnLǩ#'y=5 { D ) Fȿ=~9.9ev9gYZ7zXZִF!  +]ŗXi%ή*W @*<ɻOlgf牣|R,ԽɤLRP(=֤f4as@M _X؄jH#_'4 m`>jV͓~sDZy@Qu?#sTLrOgS(6tme\_reqoX kCwQs~X>J *(%v;61{ޤb? hCI: qeǷɃK2 \+~:um rg>3[Y rK)FU|"?F Ud]{m9U>@q[GSXC>uĈh]MKIdӊ;2_f&VԴd.T#[G%__I+53}}Μq ZFϏN$ |e9~{Y7+ |I? ~ GBX_ʀHRn}?5˾&i: Wr`b`0^ʾ2'~ uxR뽩]45P 4DTfȑ^6"o]l!:aX$RI^v ~k:u>acB4m}Fh!mvq6ҳx_bA.8Rԉk`yCs6/Nr.|D6ZUsZFێ6ItQGbqX߄ۥ+$zW~"L`/)'6&_#aZ;kHp9}pIU׈?9]L5̻)[wIi"*q'`#QnpOKޏ578.t.!dW*Y>p[љv[BYru5N FlجY&G!+~Bv%=x̲Ac.4 qgi14t9@> $bcx1{*ayZbU8o9Yj[Fz{?}/jqRߊU:DC3s$:K~f o{9miS n/=>vcN(!kDQ$RPuT\5JF5cc-U, Iir&wsY| h"D e,EX|f@FZȻZii܀ {XoPG$5<I/v[f:n3NzuӇ ~5.v6H5.p:IS4u< 2Ol/8rz:6vOب+[e{ 1jYE1haP32`1Xjl;wBo9 s $ӝ-?~Mt.ɕm=t6-PL>77EpqR'df8p+T8T#c+G#VuՔ:k離v7D4'QD+GʣG`f02FzK'Dȥ*`uq@f棴?,%,k4ѓ>{*ƣjva E˱gYZa76c83dc663eb93f4560b02541a73f94b381ef8600b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 5cf66ca79e6302b03b690cc77b658161a66a4401 31e3cdb1fa11abb502a94c1c5589905b57492701 dbb707787ef2333c022289ea1fbca53bc9495b7c1741ea6f2f585137699e86ea4f24dfcc1a958ef1