SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  >^=Vw?SO59|-]^̉_FRk{VI`NNo+,`X4#WcbyY7tO8$JX s0;;TU.3JyԼ61}VY1HHT ÿ4:EUē {aIb 0jY)G8ܝ\^|a_',Qz:2]/bȩd )"2gYZ7zXZִF! ]ŗXiɟ&ݾʆ])03_F_]9 C2r@gˠ]?N}v,(<7}i1f NZL<:] Smh*ӀXˮOu$UY5p%@3S16o,g˷=\2Wmuhz*˗㈋AF Qh}}md[Ci˱gYZ7zXZִF! da]ŗXi%Eb⬗x}/seo y(TzշQ}s84kȣcBɯl^_=v 2 ]a aڹuzZݛPױ1\:KyŹׁ"*jI $jf*Y¬bsWbh6dP7 Z_:w"+f==kdxbQKg7 xUVD#h>TXDWWQqV㑒OiA')1 puA#ND)2vIW LK=L4ruOT{ q.F o><)A8d6&HBҙx*;F_z3K]y0vE^캄9Z8G x4<)@4H!^d|[²,utY]_Ap8s3V`DXʫqO:\Rbpd7ه \pwo+ `4Sqi-|*%>:JפQn%uY*OjyTwA[+0zv ?6v1K!@8nNE|[߷rSHH@%P٭7$3#XqdM=8rb F4|>pA5tQ7zr&Zg +3P!AV(J~i,8qՠ1#`w~T+v?>s=E<\q²[F ;n`jk\ޠ ~s)%p`f@V{8t] RN.[*TMPpI@Y@)bFX:n#BɫL+Іk7G*-fS/͛buέce;fPqtڗ@;3Cxqut2 퓫J"9gYZa1e405e3751c04de687c3aad525c385f4def417787d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591  TLA