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  > >7 t\ ]S PCF:threads=2elapsed=64.408cpu=98.648gc=3.220factor=1.537zXZִF! !8]ŗXf1-/6vR[1Iq@>=s(qKgslYN*25ѫO ! mhfv7ʉ$y KLAԿLr&5$Ek3c/EtXBOɞXg$#쫛8ZB!zNL5S[Q>5Aր$z]t6NUHWN "P0T0Rge}q0ڋNX q#0 0ZbvJsn@>{CҬ5K~eg0m՝`d^rx=ǖ60C1_'^ Ռ*P$A۫qZPR#[u_iYxEl 3w4PO 2ܨfaIœ@ԙj5zq',ff~>s@oNꉧVKI5%i:qǸ{DyY ܨ4٭)(Z (QƅBi`Y?nHmCO Y eďG³XdU*]6*0-w(_OhJv԰5 o br$85>3ẑ}Y jYVk)r0.ea2x7%Z$xF^zu&X)R5abDo^!Jm`;`S!jܸ+@W^o^I.<]!  PCFt !#V=O3C Lpl;,O>^=ɠQ? T#U'(7bB㝵 DmJeeފ} hl%Rܖ s86cvs40SXUoóKxԶgp,J#/Hҗ;|{D4E*B'gYZ7zXZִF! )]ŗXiɟ1˦r*E$O @zֲ_}@aK0+A|PqU<3?ɱB;Pg EM*d|1w";e÷<|`DzWkn靑映EiQej5lʠ|y!]+s˙ld4zv13``$'92T-H*eb evngYZ7zXZִF! 5e ]ŗXi%9(PKVI#$"cDa|LRmS0zֳcEĺ$΋ux? 'Zk+<#5XICmȡ"hf;}~sv1sEZ~_v3 4ۨ}Gc[#멛&vr E1x?IC1{Pwb}#R4kI;ޮ%F-{vs-J}Xf6:юhOjE;԰kDuj$)+muE}2}  m|4RX}NZ&mfB+X19Ԥ6:?4X0ID ޾==:>io]w&@i&$+^e\cVv'ךN~hl0–^h/RkS!N (wNI0Pk2WY ^P];|]4 ?y@Y!1:^APhKy*Ax"bsf+# T!ɾQ Q+ng#Bh_!RCtBRA$Xd9fu H@b;İPJSF֛Jlw({nBҫ>T[ fsLt 9 @RT?'k #Lapf-h96t5ұDITڍh{7 >ΑGUcQO\> j}8&L^'9B'aضJ%13hjvo2%W.l. t5F ޽잆XW!7g2.x2#_`==$#Qb<$0H't굀i1MAᰝ9&G[Zww HeeIׯpA*?Pv R=zu]64LOpԯz*fd(PK;C)0xb2쐮okY).*g|cWZwTzfE%rD ۂ5õIL`c#$>l ,xv> Q.9!mdoπ`IlX*oq灸! TX(VD.`e%c`1iRG!5d1Yȕ͗;F1[3sxwgbJ+MIU`E'!Px)I'7$=TMA"Ѱ(=3Gg3k͠tuX؊eO=FQ}EX*?li"mU`k-q(*t.~6CR2CC +W*7UQţ E>=8/s&n_kxw)+CgSЧ}7Y?\`Ϝj ?Nݟ:'135~.RaoZK;PF+_gh1 c S>lN;cmg۷-#9¤Yic`I! RTZ0TJTۈlV=so`ĞT{}CN]+uEhwRߣxP/[pyaɄ: u] 7cQ 1yI(~Wڒ9"NC苺eJd_y 5\Cgʸ0za[ qAC3l׹D9E鼲\YF 5$1/Cw'4c=ޓm9C֪J .ҋ,B"cX>* Gz$%Kb}ڕ됐vI2Y8(릧GkSgݜ}"-v=(+p;\JCho`-/|lygC*4L|Fz 7uKg缆 sw}C 9瞭_#HJ*ڃ&RF:@$Y MDkn?C:F9y|a#M"hL4&ɩ:3'ٴY8αlQs+WˆU-2ˇ@>]C%'S_kl:R!pw\`?yp-GӵqܣiWMT>L:-/1Mj>Dv%