SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info }}`) <4 I/]Stone_Algebras:threads=2elapsed=53.766cpu=88.720gc=2.964factor=1.657zXZִF! ]ŗXf1-/6vR[]oSaS3EU(;aQYq^.HTYdţN^}g +L B|'W;u,FVѦet('~=L\zq@2׵w ٪]/2U<_Wa_;w/.gzK9-VdPUŴjh fĄfmfZy†5܍NhҮ2nz_/UfKzdz`yY`T6jc$Rf}\+$4LuD{>ފ鈊"CatN}iW327ZͿn6l|搻9}_^UK/5h>8=l:G]E 4d4@C2 `VӶC?f+_q&=fS@3Q{~F'.5Ǵr(ܳWLcHUZ 8Uxjh:v(<:b.^mQ$&O1>FҟXW7Bl|^Iq _5z}⤖>fU&?#W'br$IIjnX;ռeHR|+YvI;$Pzvo>6.H9GlHԊ>dtBFԼ[+>);,24P'C@'7(G#Χ,ɄXswlH 79 !^Pa9=JRHPt4ڏmЖbj!m=)ȁ7Q}>8dFB2n~&.71X\pW%;Z:r9,U"<.R;X%S.x‘!ҧ]2AXa80AA`~Ik ^>o:AjG,KgILW9DuJ D6|H̊9i[$dbi˘/H'&c5|12 v=.}> /b4"6CPBIy4ӎmʕdk^,SM.v?IO+ǗKFA,jzKH0_pмh6ݗRSJD) qgE[kj`EYgsĩt w[ !`5(^Kxc07>,nHș+xuДUl APXIvu(eD9͊ᕽ%E=d |Y&}kGݹ;#,wnhn9D^vnSG1pnmNoeD-'ܐ1ñs0 OI@B'(H S<p->6j_~Tg#6]]iz%2h}(Tru‘gwL?$E?LWRE+9 zql{Uk!i} zmoͻTlbQQ xϬӮ&)bS3g.Ȑ^{|f`Y˓x } %3dɳr&9LD*㠟/U0|fz& 5K0 "!9hÍI0J!A~Yؚ|U{_U(NErxK-&"bwX1Qxֽ[솃%[tDi_dΊ &#kP&j )e<7;x ; k`dQS*.5ڔWMӖ'>Z]<^qUAL?%I`Z _R΁~N(U:c-@?v@5SYn'{#ɹJ FV;0.5SϰvLe#8Ј_^b;43J嚥n,}N6RJmSq!.),nb}w eYh?4*8gSa%3g{)3t: hudQw5x,s>#]YT>n"Y4UQ$%򮮯X@ osSTfU3z ?I!;o,@TH4/s)K* TˣsJŦDtz!=*]5D:`/LRk."ʁs`L.V~qf}0jOڝpԔj XQpD:=5^aIcĽlgCkn`Z̑@!gn}19mn1 -ⵊܢ'ۯ,;SV7vGl@ -Zle,nqpJ{DѲr*L*О^hXorx/󂱾"1cr{ Λk3ג#_NҖ1 7Hw܊vbȐׂ$d#?`ʙQMS:Qw܌OL>&{RgVL1v-#jirq.`^7NS\MטGpUAǨ>pKFXV9[ ꓬczG">9qq#w|"SYCJY9x r¯g'>^BT Qji!RlsESC̍y7<»g)x,Oo ; R;&w,8ӱrNdߒHKuFCSO<3hcxXg؋ h]j/s3۰EsRSMBBSj*n׎B!Zo/14vo_7Tsɚ*Wߤr$呂D!Yg!4_CTTQ^݋I*'=Y[ u|4qOH&5w #^7OJ%p @YG~&?&gaH@^i}]=Y|m*wA5ZC<,H4Rl*wzbɫ+Iӈ xh ڪ$T;AjH#ᎆKTgr;[2)/lǚ&"<`O'w;Hd b^"QzPAC掌Wc])&U0{]Fcl[P4 R_(Ao0ɯ=(]];fkZZ~oA9^%_3٬0)yj~3F٤F61+,p%wFu.zpDh !gYZ7zXZִF!  T]ŗXi%ih:@c\r.ϮU]vaʍoY&V[XY(L9Ci0K"R6 JPc gr 85:qtm.5"~o~GxH+vf$6-?ÝxbB<ŵ{s|h$69UrȽ= "Bm*^pNdZY-:+G: zlw&n`58Ct6>O1Rq3xM ܂~J1yX@1$8Cou jEA'TM/1A`f0Wul8R6Q'!1H?)hF0&˕f!%#G=X!>،jv3^m$ UFy!pk )c^BƬAOoӺn6Id֑Xī=F ~4i,)R]8dMHcqQI{~h+ 5Coߕa\tp'\{1B:zHW4)-0vU'QPt dFGH\6i6 J:MksfL{Ӟlϑ9(m(*^/-l8R=<'C E:]'#iQiK01w(;sIa "qvL4#唔 +;D+Y9eq2`^ڜ\nf.kU^9v R̷DӀB/p( IYdI5 ɾ~8|muꇳ8 ܝ;?j?VjC@.KQNn#ZS0TM3~ l%mP탠-Cz"]q L@(0iċe|fOp|$ |cm%e *ï]2tڃTjh\*S ghPɪ3;n>bR $bjQ Dk'Mǂka ] Oa$F*>ȷ8+"am| DyRP* ,z P- ,ЃJ͵M%!76m[<{a%:k~.8^PiR8F/Aթ<ŦCET>y2_~ Y&-= ?grOtž 29Z܀ệŧfk Stїw!|MDFh?&{@=؍fA*l&u 9|LD/ϥ בF``oglEv/R/Y8:>`k4"m݉K Sl?&s pAyO QDX6LVS#Y !d DAF z޴WKu5: 68HG]Ǒ#>¯QIaȨj{Znj ,ĞBuJ1r= E쥍vpj7%c%˰4AoZ @RӋg C2;CBM$_RCD`su^CC놨~=ڏL X1<+ ^@ f]k7xlOҜ tJJrKֱJjyv8Mu/= ٛMw,U[$BhB3tNcT&R2z4QR>QcnХ8}8-=paϼK~#ך$Zؖ*Mmc_Ґ}W\[=.Qk1贂݆N8NԈ)\XYud>nח < iт32*W qK>=wKg͕VQNnIfNS'>f8џ RL(?Y h^IjP$6SPN aiT/lb"%*8.OWxo@U41YU/<[;QWxF#J,Olyf=9ÓNb%~9{Z0gYZ1468e48b8cd656ee8a0f15090fb881e3932ef610 37b10171a7b8848737666d13efd2fb36860de921 48d9eba8bd5553c0053985fef09510164793e757 919b5021253870e67893f6f78d6df8a22a86e487 b71c8c24c842517e59aebf6834a00cbac12a5971 c3a04239d8a181cfae561485bff71442fb40d565 ce9d247713168595ec46d4a55e36828823fdc26cb9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9da4b4d1fe0d3723e781b195e5aaf5441612686eeb