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 oK |\d ]% Random_Graph_Subgraph_Threshold:threads=4elapsed=6.816cpu=19.124gc=0.336factor=2.817zXZִF! 6]ŗXf[&&SeI!RB8$ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_[2w峇7]SYٮm?}23R!=&h8j,a'{L`:Y`2ЏxIg@$G}ctuP]EZ \usKܲy95Bq0 <I6qrA7jIA wZyֻ([VNc$hWUpVDz:W@{L$<~w1B4w7jXRhgYZ7zXZִF! ]ŗXiɟa'}@U0DxxxU hT`? 'lѷŦ98:!=Xc?QO9*gT76'{p >̀|\#$uw*/޳ իD,YRsJӐm腙"0͓KۨgYZ7zXZִF! =i]ŗXi%ES3muYgFYgk8Bp0qyHIx81Ǿ"ͮ(l{A+X ܺYhK  eAUgbѡ 6<'v&6Qs49LuA+`X) sY0y!8̶X#veh qG <#|N? E9TeKqZ/Faݔ$U?nns>u JXrG#A5cl33p@ɿ~]ѲH9NlIѬZ+0pF|q.w-ԝڍKETl׌-T=Zk4n`CʴKne>Ѩ)V 9%+GV@qaeؘT- v{b2% "J4-oJs/N,sə?|BfY: aڍz5ͦwryBL,;Sk{/ 9쮥]{N/bL{/&=#G ˄xͭYa7>#EzVo@?< z/}