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   o54$l ]/ HOL-Record_Benchmark:threads=6elapsed=99.917cpu=169.952gc=9.016factor=1.707zXZִF! ]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\24E͢+cdXo譏4F,žEhR,cY f1F"qmu ˍ>/磠:O5,n gYZ7zXZִF! \O]ŗXiɟ1_sB2 ( |Kln/h/g-DKli'9WB?j+]DAD&Anw'F^ؗ%Q:e1jUN>7uho-"PCP^;4*ۉ,"RVpIB 27[XU%_HcL'"odzf,JĹ5缠"xA1[3{?%'SEh 1-#SN1RKքAotieK*§! zW~|hV|RkyѮ<$Iq 3Y˔jC<LcqW'y݃$!K-+V]3J?>ٵHc.[ Fr,=/j Li<<xԶQNVo~+3akKerz;_yi7%W7>z(Wu܀LN~ȥ"U7n)/M.̽:пrr{%`L;e~vjZu0N1MFeK124ˮp%DU s"fm;cU$nTI6Y#e=5vU+J $ƓQrˬ~,r'&ܪ,G9/ܰOG Lr K6y>N Q_gTM2'S|s 2ԲUm/o:J3%Rj^|V*,sM-S%s:DtZX>|[GX Ucn/JCPHi*dhjv4;2H3tf]FX>܉ץUm+M d "*渳hRCeMKиϱ}WzSVPqs6I3]s;3@otm^[&bu)^Wu2zp8) oHf'U/ښ^yzp-?>2_4V(s]^9p17lWZ]cیnamET+}_<ӝY UZEktl "|z_U҉v%L.y/TbI<-}T8q9)}3QBCR-QrQGVܣn>~[ʋغ2 B7 B@ybV M̅Ói7w:P;n YNM;ا )gkx#FaSjPi7@V #y5޾ؾ9 0_z[|Y <_>XV&4а5/=Ǚ2 3EϧkXQaٴJ9ZNuA5ҀIf!ڐMevN>A)ܵ%Uyprʼn#UDPvKN =PwWk]\.?{7m1p\n!޲)f[3'H0|m$Թ/1bR4 _Vn6%;#Qjl-Sa>>9}ד!+72V7L+X&o;xA,r8+ޘJf-U؎̈́nBx#N!OZ:ra O]9f" P5K!bD*@ahJc6XWWJ1<nG*Y; |f,@H*E}H2Kfc5LM_`* 1aRC녷H("FeO +c!bB,}3LmD\ɞQo:m_C8Ugq+<9k+vʳ^).SrB3]vfBr@Uᦅ8-uV7u= H-! vj͈iAʧpTUqzǃ%2=j߭۳ ['(jբ_WSTؿ~l˺t4}-_|$ŝK%s _i!.y\5MBbŕ$Wv?ni]]KV\Y! ||)r{FV&-WŶ}w0N0Dn 34z#4|C~M~[}GIrQ !A0v j>×"b?_[Uu)eM7Sm~q4ښ '|./[CC=~u;c*ټ<_*oU_0 iC1 KS֎[)#ak7/ ]4LYsP}V.!A 񶿾̽ոI8,<8j ^p6Hϙl9 6B>YO҄;Zfv:;p>QTTGSim7Ư|\:76RATA.&Z(ZPNBU]8j_էSt t]9jK/{҅ήq!ѥ{̺-at5fnruXWWE Egr_i A8Vۃ[6/E6go`AMnF43J`Xɽ]I_MO뭑:ϼ*A@ab 9 - j­ JϠ kSS.rޗ,ui;fu n[~ C)X>5AQChlA 6ɷPAg;2 CA|nˬ <׹Cm^=Ev!;㭥 o-N2[^]tβvt3,3p٫y ulmr$TӨ֋B _ZK]۴\ 4ʔO#)]fSq!@ ˅)%/Y>HaW0xU3.ISJݡmެ|ǘVdIs AT0aq{i>JԪsR&E@啍:ǐeiϕYỹ|aa' ~إX}zKy(N(!Hl܎< 'pY VnfDxgujT 2p^m+LAVr0>vBy07 ú']d${PyvA`?cAӃha)ݡWJ5|PƘab F0ϣBlM8oB TFpʺo/Qt΢R\#'[9K2م?)!-kv~z:| BǍ yzc8pl4![ϥgYZ691c7cb198e0e138fe14bf7d3152fd05f7b5649813a4ee91aa67465b8841fa4bd2c33bc4d91f32eb e27bfecc3175c5bea938916291a381f36c7f2a5b