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  )  $ ]/ FunWithTilings:threads=2elapsed=21.115cpu=36.116gc=0.236factor=1.717zXZִF! 9]ŗXf1-/6vRZ#q$-RR s(|CdG e!J&*D\Ð9#ɳsax `9K i:M%?6 J(7J Li^7U48Xϕ>Ā??/31B!rp+k׸ i4܋ ^ ڍMјt5vHynTG W돱gYZ7zXZִF! JC]ŗXiɟUXvjV*~ ^kmoy`'yv=e,h%@a SM_Kl}YZ7zXZִF! sI]ŗXi%93exR+dGu N\*w'hAG%gpIB~#B`CͩT(K荥"{܁9 jᩜ:v ƻ. ގf§V]X:." h ;no8 |I'%0^;TS W/JAҫ_蕝TkY',@;ŇyZ[.ږ߂Q`QZxfs>%(8G7~["-)O X 2ZT+2-=h?t^PsHx% n/W8"eU+Y=8Dktf R*~>$)[)nKAO/kgO]L^I"& -.PxtmN+sO)49? <_h3QU߼1+03>Nk`9+ymB13+lM"͇˽;5 4(UF/:aƛ5=Q ޙu,1͊f20? E i:O>A(5u:GfBl X.{´2 ŃzkObUbE2y>M=o1ʲ%^F*ٓGGņaxE!A5,.%.w+2D&ؑF( ,nq)ݠ|`/9Ͷ4$lmS'dm,afO<[=Lq^ W"nw1Sqב"Pn60 >`FXht&4Sox50|T5>l4k>S *;K)d_jrd3k=l7[\] s}"αgYZd491f5345bd2fc54b86aa888139d7cda89d880f6a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 ) FunWithTilings