SQLite format 3@ .;  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 $+ dD ]/ Stellar_Quorums:threads=4elapsed=4.996cpu=16.672gc=0.332factor=3.347zXZִF! *]ŗXf[&R!h~3/U*Eդ]`t,@t 5T2DQax1Ӛ~EX?6Ige<`ξ/ }f|w y*tE1V(4̶!n}'Gk+ڟ 󮔎j^2g2,l6ǁAm-)0 Afx&U gF nnLugYZ7zXZִF! SF]ŗXiɟ1·3<;lDǴJТe# h[/ /s<͋bT)K}YZ7zXZִF! /B]ŗXi%L S0%ugbF\0a C_QEDffqXN2%,_po_{/S}^g-5 _pҐ6"M|\p=Sg?,? D/&=+YUC<_`j4M`}jV}>Rٺ: Ӫjhil4ayOgr;}iBGp1Ltfc)dKn5es2K*ꡯ?jZU8%h§Og+%lůhaDkdX LN6S).C*|[oIve͕nNǞc8H;ї7+pveOèW!bu _5FG`{zG w(%@C ҄i Gdcp,VTNgUHp̐lhн7xcReEfJ#fzdsԄ6t|lƶPqJˊA7Y[7JϐP-n.V줒|#ހXX2P3;|**LtD)><%}y[>-?[Nxb/'VZ7 D.xD_*#B ]QaqZ8 ˛BgHvү1h E.3CeX߸Y`m)(0⨆7WhLpg+~¡pj{ȯQ n$ zMmѫY5 Uݒ^dS3 )ą