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 + T ]/ List_Inversions:threads=4elapsed=13.082cpu=41.948gc=1.628factor=3.217zXZִF! y]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jpi}m$ӊ;Ϋ7*⧈"*ʖk@90~SXLi?J٭pq%CR9)ihV]$^(ZdWcKFj0Бj;ndNv 2!Gf(Q@4 - 4f()Uq+"bǛ֘}cRqoa޴2cȼeC*0~FA@Χ4;^Z,'F5;lS^ebi$ΫsBmXyR#][c(8l{Ob*]ܪ9p 5?ǣl * =S xWrpn U+? 7>=N[h0ť@zkl:]a8V]SRfeziHVi5Dz~dע!Gκ܈Ae"5)F\mʷ&s{KO-i:Ss8cQPEW5j;XT֐-ÖjY84S|I4LJF-Ui)\3t\;qBK9LgL/P; 1C`|1!9 L&^hמhmŘrD.9 >&1$*?_cPj=pG^QA J!S*DK|,WšN濑i/ V>!L.Ő)]"cT&UiU)7X:mGR|˦N|_O͒'f8N *0tV*`ICy1$r4ڤ D 2pgtB'xM}4!汚ePO~hAć};l= B /]?&* 䟰yȘwQ f!=Hbۋqz_J*}H8O%'.M.r}匐8Ko։o?RJ8o8UMZ-1OvG(]*䵼5b,׻O:m':VaVnI)b]/3h'AG.I@Bbs׋{,+U/Txñ2 +|q[G+>O׹bX?#]٢u"D(>wndn'$)'SZJ\7ˊَn*4,) eW٭/K6+D/BpBnP=,~_fLm)i*w(@'U;'ie6@oC2)~Xs;V" yW4>k5xLˆ_W7DLBq=Ŧ" X߼'Jb&ut