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 w T4 ]/]HOLCF:threads=2elapsed=17.709cpu=35.124gc=2.480factor=1.987zXZִF! 7]ŗXf1-q恈͐7ӺV -O\R6]W\2z#F<&>?>|9]_Jw C6,zh5).;̀bT;1v4vCN7SrXi9B)PADZs*-SAe%c079cBM|e@Ko0+{f 0V?};@f}e?1kMLw1lnt0:wGō:K-U2t}3wB}Uhjfy%ӟF: AiҌ1[D.k&D=c&"t "Þz$o"$x`:>`."K&1{鈗rq֓ c 4P4"K*Vsm66--. nFe"ײ npAYz3GľB6shU:6)Ip4^8j7UIS_(p1rZ{pR>5i+>]IZ)- D!"F׈m#9*?h>5Edojы|zWcPv[.V7>S;t{nêVv+O8({ egYZ7zXZִF! G]ŗXiɟ1˦r~KunύNN{cr}` 3f*$_?X 9SqX [~e8 41;sxx4\'=,5[;0;_-SZ|g$-aWq1}G)ѣׇy聏K IyF"J$n'>.Vh뵲FEQ(o[iR  3Vŕɾhg>T_ZfXXFysghKI' L K+~G]4"EOc6ٳ=?.scw'TvSzRЩ\i`uu{QzM~S.w/_z(Y:MB'3q̒ JrVE4E17Iy7J)8(YEF<{ Q譃@M2&e879~=@;+r%%2#M'@ pzD  vYX!p A̞fDKm-ZlWWjxm/{ӌvӽ`$ұgYZ7zXZִF! lJR]ŗXi%92%δYIvT\on +g`kgkc0cp\O+US41H|鄸yf+$Fh^.P)5kګ6 C$0":<3zF)mCyf'nTbR'?KVjm.vJfԋבJ}DG5Feq:74iz_y+%ճH<+; F3!+5` \- =ϒ| `yZ1jlbk[/HMMAyKEFI)}k,#T |"j#q?먉j{ޤ*劏@&$_%͘nR2`ywڝ]BD6MIrs2HD8?c  vفul>gB4Rcoqg\Vι\ ưqHj+9J|%&$YY 뒙`I.322!39Xj\;';dGqzO dq6ܚ][yFwO<2W FHk=,幵\=u+tUcNOCIWXt cӒ? qLV<[e h 1/+! >-9rt]zA5͢!O{OCЎN>;{9p4=^L7Q\s#X3"к ;pt i &72:[^&B#=" <% <EV'й+ï뫰-m/R^KV&+*H1@CӔڪ?, _xnLT𜒣y龦wQ(?Dz\Ѽ:>-3*M/Bx1LX؀!mNO͈vs۔S@#k,h:|f,k1T͇Mk1ZY/n9?y#=L<A{PC[e}J@4]AR N\ښÌ]