SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 hh t|t ] IOA:threads=6elapsed=7.156cpu=31.072gc=1.148factor=4.347zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K eV%F>`MR"֔uܕ5cBИvJ -߇qVA(!>fE)ԟh&i^?s 9݉r6>ovyyIBPѓV)ϗmKDU%W9B+9q7ѵyzF$h܅u!̐,:A@!_g4^o`pV-;1z YdʄrHFD+u;((~15.InH3߿>I@pyN8w671h+?Ww'@*U9l 9t *}r_r WU~uoݽVw`YF'P>t+ExA OuCȇ_R,|zNYė#b˱gYZ7zXZִF! `v]ŗXiɟdN'LvH۹$?vYjРC0hœ,nqk%:.2='{xj{ ?*E,e*EV;Do1x@5}w9S%)Au1NXS}獋%Ju(R0t 9}UQj[~jIf @ *U#eYAŽ4 ELд{.bAYV="y z1Rl#rZ7Ib.1EB?9(W { HZ78r8qe8^&5˽$pLF!0,gfʟn-r+}heEEzDˀ:|LF*R κgYZ7zXZִF! $.r]ŗXi%>\~޴{C?q- g AbWy䅙%қHd*~~#Y(\k>Jjj_o4,q2[/jzL;BK4HܵS6Fٳy<іb,sw0 q8nV_+dZAHXnPLVQvc*V/ޑӨHThe8)OZ:;k{s[7$ l2 zZrv䫺ۤN$=zoFAk<]Q/dkx>:rD05z=Dy&ow|VOpn-؏MMz '~,¿R#p w-G74ܾsH@Xۀ?Mj~0{暅&g6zUp͠4oYW$ +?V&>uZ|4cylws_pC]'x(p̳ɏu$=OazL,CXQ3˯`}(pb@[*PQl`:eIXd;WZ~+<| 8j{~xӾr䊕h~UQXԿbVRr'2]4N,wmKyq3ےCi(Їmsy$JlgwE^Z\ɱ.{%ҫj=Q\\&(]J<6=Pg1q4Z>r6(HNN>gYZa629b5db08d1db14f25452f5702aba66e9b023d32f7a95ebb0ed245614cdc5e59a663000c01e19df bd7e2a02ad826143e46286eaf8c062e18c745fa0 18ab84a4f57589ed51b7f8c747b378c4496caa09  IOA