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 - \\ ] IMP2_Binary_Heap:threads=4elapsed=12.941cpu=38.668gc=0.620factor=2.997zXZִF! ]ŗXf[&[. =bg7Jn.(Šrzɤ]?-P'ػy±pFU`=2ڞE?w_k9$a8&p^\*גc/Oaa-q}OyWi lOdʂLoT|DN8O~M#aOtyHrw nߟ-9YhiD-.쉮,K"VlɊDg |:ѥ$Nfj$c:l"_zN!_N!0ٗr?`KO5KKOnR!&6ʚ{ƥЌwIUi%gYZ7zXZִF! VI]ŗXiɟȂ|\-wيs7'ҜڑZ|S1ڍx1BF?Yc`\/3`&31M^Le㉰c$Xģ{z@H1B[\g?#ux("ZF` *Q[:Ҧk4h8uunx>5u=8x"_Ab?]Q8/]̧ټƞԜkn#VGJ^imOuG(S#\*LQ XJ#z/{V9/0aF8>Ίkq@hxr,C==ހ9flO]uWJ3?90v珷5͗?a,b0> ܔ ڿ*h{3}eԟxk '@9NrFD52Jl;٘6qVc.2kt=pu>ir%q?adCiE{MZ;}Ȉ:==Pz1٫wǚp6=N[V$d+!+H6s~&#*8j[]`aO ]e^1\m>Ѣ[δwr‚F@/}$CY}@llBٖj?WOmmouD6*&~ԵOk3'{:0x![? OiVs+ @b\~C6+zDOӍi\%-#/YE/X$p elM}IaӵFKsOفNeүXȽ餉Y1VkH-'n7J.L.M^:i<#xq/ܯXoJ2 c׃^3+9Ղ}r(,RS&p s`b!UbrJ 5d;sSk7pKޝW7tC<);