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 <- t c Lambda_Free_RPOs:threads=2elapsed=19.805cpu=35.792gc=1.388factor=1.817zXZִF! ে ]ŗXf1-q恈<-¡$johkX2I):6{Ohq\“g:({pdȃ9|EF )&{fVa% ZT㏙R<Q*rx6 yz׼RrhG;{kry 5YPg6Rz9Z#Y - Lambda_Free_RPOs^yےyaԻ<(xiP^4 9=+Nz*ӟ@Vky%±ngǺBPuWdtw0aCԊ)?:_?ITY:&8'+A7]VcrT3 X7^q{NJYH8V*Uj[EU[Ace2R2iGի~~U 1Uu)ܞ. A_T#( IB{}|ٞwΑt?so[pz"*XnvmL{Se|'kvç,Ŀؠ͡sƭXcR=S_0+֣ / KruMW[A##9t ~L4qZvskVrcA[&Hs1uX57nSnQ1(NQЏuB|-G]; `ywrhW9:AbrƊpK(3 [܅Q QNtEQ[ -e$ޭS-rsQqq8_jG0V# 2%|d5*L%f:$e>jKgrhЧwBxkOKB]O%nUI~>1Zu:_B)8%}u_4  <^G$/TbPE$ީa` "Q)fb1>X?dW&hp+r5pڡ0qrRy:1GI; Y j9_n&T>D(Qᑪ\6LS,Z::/`[Rrh:h>P>jF&kKm;X+oXgj9,s@+>RH9P}n$AP$mX]n7У?QU_3TE1ըeo(;IH&[wnVVvDuP+/.v>/`iӁO<K_ ȎHT f[{ mf8jx"5t1lTB+2Fb"axoUܳż݋K[-q_HI4,5xsI]AAx.yHKpͻzvZ((p>GܡY#,A"pͰO2%*]k 4bg8։L[vv K@Em(6dlñ\?c : y$z1錠+KG>16;2c'9l˛'|g2ז %20 6iwtƭԁ+J? $zBIa.܌OV8)`V>:-vT n@eETz #&":{T=|GQ>('ˣ6šU9S;G-J͑Z _gIFx :A(畠+ֳ-I&K}$3`hHL XG0b#.g h!{0%#{CA9t?[>'vAPOljkl[3C4P̓ ޼jww`^65ZͶ6 ?6ˡؓ3-# ;5#;:G83+OCK=BoΒSnrbcKPgw]X>j *? h:Hb3Xw+R`8 v>!+ 3'CX85Ѡi4[_j'wa9 o'<x4X L-4k<0Ő:)hX./TȾ]vϒgQ)+#4GrɨP?êBFp({uj s S7O4˫jgr\PR9: sM||e~+p.}Axep3AceոEx;^פ,|]"T$m|>7!A,h@\H>t̯W@*Ae~tU,|FR-=ip7S9Ru$-_I%NFw.=h8[ x;%E Il V\[5L_{X[&yaDT}aYv5Vߞ1=l7^[Y01I.JEA ٧ !;$)WR*;zGa=>68?': ()8=:ȋAKH