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  !?LDl ]]HOL-Computational_Algebra:threads=6elapsed=32.142cpu=101.520gc=5.240factor=3.167zXZִF! 1n ]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(AvNOĤ{ty6V~,i0܃۪wth- ޯ70.[CeEYJiЯF;#sR 9FDx(틢InM3=H_O}>җDQWșŽ'RBd.L{&/Xz2BSwȲM!(}g ? HOL-Computational_AlgebraGGK5}zWqOjѫ :v8'g!X@c# V-wJ!drX͢kGf=Qvw;uo2K4S;bZX"'/2LPU^cd+'P*!<V=[f1d꺬M -ivvd1c`byw\5eϠ'N9oنD]ߦZ/o6| 9jq͉,k׳JKX42wX`ndmZ{ѶNɡbL",kt#cJvZ Zy6(崞̜H|U1j$a(R6e fb=T49u>Ys_![z=į(<[By" Z1_< Gw*S(>^HҚbXzx&_+069ͳ+-RbY2Xhqe28&gi%eQM)"t:+qԸW<x,N&$83c0kpyٕ`:qP`suZTLK=!)Mh|f6^^SqYZf>2, bRQ!gYZ7zXZִF! ]ŗXiɟ1@B%rís//FsqnAH|2 L&o>j/]IO}ٲ֋|`ӖQ<멲,0IzʼnΊ8F`:3%4jUDQjT )*FATߗ67+cɏz&wTAvWWS -u/Y\W*C(B[Nx% = 01ÇJ"f֮M ~EX7*fʫINAm,<<>E+*Xm.$qAg; / XebW c ۵5C9T/3y3 4x <9*A}ckv_`ϸ~,U.ZٺBG  {@ uEBԐ/s*pͫxlP$X9]S2%f?CTS]o vUa]/ӂEou9k@=]grڸuh'™t>z$|V[t߾HgEj_ŋ8YeGy}=x=ޱ?dy.F@4V~lY3;.qgȌ =˶S V55-;Om=5Ӷq0eYP8eZA+バ \k Ё p_GdY+!B+Q0~O^\ߒʹ_bXw5yX<<^3] MFrVlN Kc&XL)n=ZctR)ݗXĬw3I4~k#Ffy>8H$,3$fu#bh7{>RYݽF]]r%FO{}@)@FOP!CpVy,rHij-+e vɍVQR6#Haj{kgVj(sۿwIB{ju> c'k/ ƥַ>ݐ{@X4aDk%L0h*`Z%^lQ#Pbe/P/2\#Ol\٥dhXsqնtF>J+]#\۫^aMf\K$$?2%o۳oaؘ,D 4KMw CCp[d>EQCJ ws>I*/<moK3#iuq#_#+!/Tr ^-;)/sZo'Skr= w$^xߜ&WC@79vFk2\i(RH( 襻7&Pt]ѨXcbQYR$? J0Re?e|dqϱgYZ864b823c632705465f4ac1743288e1152cbd6e6a9884737fddd3e6081253c712523f8ecc142c72ee a26171661ac87092335660b10885b138f2715297 4635c60c913dcc5f9239b81dba841b472bc64dcd211525a3c0f8cdfeb130c0cd1cf1f8ab186e6482