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 AA,' ,  ConcurrentIMP:threads=2elapsed=22.505cpu=39.808gc=2.284factor=1.777zXZִF! 1&]ŗXf1-/6vRZy-`}$=O]a"RTcL^? 1̇rcPSg}C!6<-GcU͊>bFoξ؎:Jˠ&VSH++8aoWx (e0H@uJbUq/RլiyI>q«G ="$]a 3f珿<܇aWz'ҕBFswR=C &zٳVM7=A:VG3x.2i \6>r E1}  ' ConcurrentIMPXr#U4 NdRqMy o\E,&ZH0C藏 .9 0Rv~xL^VcE`0cJ"#H+*}  M׫q))KT,EO&n<R)Fuh[SYh.}2P!UO.&|UT Un3;8;CrUHJ'm\T.,{ ~AA0$C”h@M:*y[Ynp I?_ y`f)WI;xoJ/0ukM'6<]}69xɤLk\t<qa;_[ MtqaU@&鳌ng );;=\uTWw)q3__fT67HٯrPYҍ%c <.Z1*U I1O{|B^~.!*t|FJ# I֩ T`ϐ6sZ(!Ht=!0" bxȹkgYZ7zXZִF! p]ŗXi%:J ^la Z2UA*BBa6j}չi6Q/ވ/N<6P5ny%qiV!X˄_AhPVuT)f2K^-9(bQ;c]G Z+B'NX2/"?S9+˯œ+~מ}?1SQȀFP5cc5y/d+4t{*ey'jn5iJM r`?Ls;㗛x. 좓n: qъ[J!Qz&եf=f*&,N*/MRi'S(}kc6Ff'_*d Hgh;8"[wDf ^v~eg3' ~~ORtyY`_ѳG5(A Xa<KNO 9'?#TIJtG ņF5AU vd52X(Z*^v x>(>E0O];r;MXr?.S `@8X|X}t{j W,|6::L,Xn1zbAp3cͱZ$>Yvו@`W$C ~kSxj0u~P.ߍmjGOaފg? U9ZрP9^r-[[EqW 22rQ `%{|@62QԛςG?VLNWC itʳLiq; /"trIJH,X|nԑ@ޘRnV +g&=牅ά%-y4rB˽ж7`fsF/f{K)uwӓAk?TCi2f`Xbcɱ4g(MM6_O}_;OPA`). Vd;t5R@1~BBQ(r%|qs PhݙdQ(R5H}YӉ0o/{NXc޶S|6nIf/5o-J^ FK.=<Y-)>}] ?6 :cFl>L!MC$2V|$gQË%+oFa+]ˆ'l0_XBq}L]Aih/cY\ߢcq14XŸEuz؅UCy.U-oUOxbӺabO -ig{G:P-?|aY{s"EȤAF}u{'qӺNC;hD@*سazAû 6孱gYZ076a275d1a7335859d9ab7f123afbb6fc703e10a 09e822e578576307ce4efbd535ac1298f95273ae 1cb50933e77751ca1b1d3554747156be37cde036 403ca2498b513dfe276daf04607f35c6828e8166 6b4a4ae76ef34970522c8339d9f8ad195fc4ae01 7c49de5e9b3ed6cc22e840b8feab24d221e42996 8f7a0e511f5f63a4ae08db23eb5f2cbe3f9b60ff 9eb774097b3b819ccd6a4678f889ea1f52435831 b60ef924e70788df0ca6e11a87f7b3b8dd3c2b0c c6f6ad03afd77b8e8a428fb92d567c9dc561a82b c8b28635b2e5a8aa1607d2d9124a98e97e15fd40b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 6c1e2e695a2f0575bcb7e67bc72be34591789107