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 5,D ]% Collections_Examples:threads=2elapsed=94.905cpu=184.312gc=7.836factor=1.947zXZִF! V]ŗXf1-/6vRZyغgЕgQ+m$Q#3dY8lMcK,cOXbyɭf%8q~q(z x[^>ҧMjyI `ы`/˝͞0nuxz(ջ=ʔ^:?\jdl{fg`a<]m$Pu7p(h*.$tY5G.Gm+'FP7B=Z?f.UF9K1}zhu5ݰY$"txM)f9 ocG'l4m5UBug:|) нv餴ߞevw7iȳFܢ(剞뵜?-BjLwU r[ٔh07/߃>11Tl*zŃ2ZE\Bl//ɋvSEjq#LӼ/S8-3a}@FttR}tӫ:G@s M_,` ]rjJ}^ l+,'e~ (];f[;YH{DVf#űUbF}(,C8tf`B)! UJlH3t\=i0,6`Bΰ!2=.Q`~v7tx˳*&ޣagdYm|PNEszY&S2B&QY2#;<q3V%gbcq.nQ2rY& .WNּ#ƶ6̫U \V$7y%U#(Ht7🊓4 _o#{ b&:Ey 6!dWs$P[ywWIba.dUS܃t@ln|c,΀>)*$]6Q8T&z{+jnΣ8FKe-6^zkPrgYZ7zXZִF! ]ŗXi%6в`)ʛR]K9QuJoH> n?87vqqL5`N}w iIQ27LRE1n?*d_4d)qc&Q,9eϷ/_&sEw$v5k%*cZCma_=h.qwF hHLvLvoܲHq}]'n`ۣEu=?i+,.b޽}z |+cGE - L 5{E(+!xL&Dkƻ^{.R]O!e`8]k`?wG'*~n6Q-4]̋/q[z&)6߲Fד5-b[6 0蛹V9폯y}3<V]пSʇs e[raǺ)$Ղ7=.y1']k{s Ru$_nM|F{0,\1[}IQ;c r᠛#\F ^J`<R@Z^WnG#ٲ[V7q=ڢRQTKq 7R6?qCҴijIvYz(Sxntdum%‚^?U͓M4RQ\-ʾ%o`XU2c77E0tm/T iiER"byG#`F`hMCí?ҍVSBPu)9<3iONΛVиF`S nz9K-OFr&tnEHIGQqńCiO)ejcT.k䇻0~(g ڶOQJ;ȵk%9m.4& Q7"aSm+_] ;l\5޷bؼL%\/ CF j0%\Y#MJéwӳ.vI\{3~?߬t2׷^)j=u~k D;4Q` |:8(˩ZE*e~Hrߺ]TDPn}c7,ҧ~ƲH/,6Jtx5MԴQ]JKz,1YN\Lg}dDJ;:*$ti٠Gkji75`9r }*8I ,(kH6% ;J4+˭ZǸ/"r:o|h~&,0N-W!e77L8_pqwr:@eWx< &LA`֍ejn*1sa砄qmSڏNkWPsϭ"tf0RI~h/= %-Y"츰MBOaMjZˍH֞;hd?lbtX¹]JcRGQ5-"u>{!&QDE!uO[ o)_q )kFBVI%fLE&!fFz>BDWdJSlaqNf9UhŸOy1DrGEHY6op<;E+L]ٿwks3+~ۆ;#Ze>vW0@io4CF#?_4m^o"t*/2,zWf~ TݰoTsCͧVzT,cJ8q+@ J7O 2(Ztv!hGq<ߣ9#0C;6ņZ+\o> WW A}BԞts3z͈bcѵx>q7J֐YOvD!#`|7bh-ޱ}*3[{U#_1NAgJg3zRH?(qx1t}7;W)Bsq?f/Ϸua_XV4KHZ:Tc]yq+]$q2egYZ61362442a43e7031cd5774707aed827a81761bca72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5 d3b717257264742e5eba21d7cf3c6eda49c5f382 313911482b604fa13e55fd1bf97a209f339bf41c ef626f17313e3450c927dd963884ad0f8b7f5923