SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 KK*#l ] PseudoHoops:threads=2elapsed=103.105cpu=136.540gc=4.092factor=1.327zXZִF! `]ŗXf1-/6vR[3£ˎFW pR0l@5GDc7(p ܇P/)Ir)u}.!S{ bW>S1~;#e2#Tm~mѝ<([oONJ~Z&ұ(AqJ7jByg@0|8*aEyymZh|xdl=$G@+ Z3.0]/@=YYJQxFov#Qtk9B1Tv7nƒO$3[ 2;_S6ɡ^37;g,L 69Isl o^\t@FSoG/ ѵwбW%:f9GK`yCǎgI9dX$F u$_ Јpav8h>]iN~tb?*8n4ETAh|aҬԒ!3h2 I;29wXZ D^xR >.N.fڧs󻤰QDڧٔd7iPDM38 R{K͚x[f^IAr|`W #K3AabM7gnz9[&֏yoWl]'=oMrȲ1Yx1V|$ӧyAy2-4x4v3v4#(gnp۝-dpf*G%;PW~N GۇdnH_$74[(ijżʚS{~ :q-njC»:޵@v8rAΰbW4T'p+B߮!cmcSB">?ʴ-;N ^{㱭/zKJVSQزzW?8.9xK`yA N k7pluIuAE{ؔ "k9 =J̩IJa RܽJ8 D5YZ$H tohd Nwh\ɜt'' i (͖Ą oB@}|={4oYO k -C- ~K+rY+kƸxjYW|cm@j9K~beֹleLKah nfcnV̰n8BެJ'"PzEm\ie6v,CɈ$d:hэyHsfQfer囈xTz:Ɲn݅ H(GTu<0 +Ww1P2'RDD["@Fx>=["GPbjKC @ֳWYۡ7g ӯSn)bȋzxs6d5S) wqDPpxryŲhgWYŒ7Ӕ7",KC瘆W:h1i/Ќ,ؐZzŭi"[ h@^\&6z%ݦ6.pB9x++>^'?ٱgYZ7zXZִF! vp]ŗXi%6v(:*l̾8I =7DZ7pV{$#&9\o:rf&L4zaoGV\:Γ$hkO-NqA:Agh$q ] bLËlqܖ+IVSYQa_E=Gm&%?iwgg|IsBhޭs:&_6#z{⧷Ttv>wfŭ6hwEJ,$w7\AhfZGf} .E!t߾ڒnФ}ox𒢐 &ü(͆%D T鹋)d࣍Cy9LnA>|j,4MM?.l:>2_N0cV~ߡĉFH ?FAN-`_kI<B.ÒPep|c4VSjDP^z~2 mɐ$ q}rabjZOXF}v[-BS/0y Eb>v sx`^T)Ӛݸa]x[LYi?솘^KN+XiE㠄!,ԛ~G op ̩|^ # PseudoHoops@K~1_rM:QKj3\$M;J"ހ u[Fg'S aSv2A=Z!qGDbmӰڲ%lZ= 9z6*-׹!mB[MM{>_LPS owueyWT)*r탛ZeVE뙓YO8vߵIs {cl}GdG da6=ȻNf\[(3ҁtld>O/5CC\BT<M^;†E IY_B`MDƣޮDs&K,Җ].(& EV6,fWOGbi)ae/'\j߳f5<CZz2pў i?=a.bCnz^_HF=taaE"LfMb%,pQ k*ZO ,Wշ^Gm%S'!n<}nsA^Vi)$sEf^~NVP"j]P(I?GkRşa\ʜmI:n{cя6^w7OA银8omf[@ƐGNA A7njỬ5M \҉9Ky.lҭT覥D\}>ڌ@hDKZX,6!?mQȂ߳gEQR0vӘGQƤXayѻ~ۆ$%lZZ'p~H-Sյw}݆9 lGRgcqb v{ NypD/1YAfd @ \xIPZx:kYwY[=N$Evwu P%gEC&nVACBEuj+uPyyI͕Mfzds 8&&ޟ_ u3K\TZdWhYsm(2uFPNoB^<~h-n1w^!,bqodFxPR'$t{!eUn$-럍IZ{^()Z_Q\e-ƹ`7!dM<YW<9/sA.ꋛWԀ򭭉ғ5^~ YލȥQߙVݛ.]e6d#;w+L3kh`JT7애an^K|ӌp3Y f) xjpOwL'x%E+-^۠5M a(PpI(i .-q8IGaZAgha8$1襤q-Y$jbm|v!|r-{+3b&j^8H~Zu ]^I~ʨCo[ju0fȢhiٖO:R}_Zb9b|۳hs zb1b5i*Mx9sv m5 7s8K~uYvFtWa.oѽSce?djzyVB&F:S>4E^y0g1^rλ\^†+|ÛK_Y,A?k9Vl(g|)+҈sV~fr4:E_.KQ3.`.yU59~p{7S*R:?Zb#ɌhwR pO>*? m;!wTS񫘷}9 Pg +¡@[|匦8]L"Ѥ!Jͨ2ѻ\s&B2ź@{к]4AsĮvCPIoXg}}nHZ& @%> GS@@,( y?Fp¨y<ŭnZu 3C9C0jo'Bh?כ~Sq=y?(I[?eFzTSiF)@ Ea>u/ ltUzfS3.|s: ߙ\FI>ULZhӾXn-u e\?V$q/OcGpsE+8OC:6Wް&M "aȗæ 2$&mo#"C?Aŋ(b2f=xd퐎&L{CFA nC\|\uC6g9v~_@2 D)4:^|j IJtiƦ.| b4_!u;<~WL}+UtzE)Ha+b(&HU{aiJ*R?{a n9Ћjk_)k )V̗ftq4 ǥ"<ϭR&@6 JH0s'7.+\d*rYp ~|Ci7R+^$S N*5B9y5@3Av9=0Co o ɨ#uz!dvbA~Tn 1ؤxnjӅukܸYõ̗n4Wi})r{MTxF@S&Ό@ό4T䴾e';/gYZ7b437c49a8abdb2d41beddafe86503d8dbaf63fc72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 5923a5cace3b3c01cfc7a295e75af4d6e21d6209