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 :/ L ]% SDS_Impossibility:threads=2elapsed=56.508cpu=90.852gc=2.440factor=1.617zXZִF! ><]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B, vX&Be;ߜH9]X@5tO|Lr g5}3糋DN 8݉ǡuXțg/.CLԶ ;I41'GJ1~"" vIq9zy)U|A ]P$F)(nǝA ltohk>8 hLBOxeJ[z$$v<ѶM|/wcG+Q8{M\r$K]I / SDS_Impossibility  }34JÒF7Yv3`C{bS-V>&UTORV{Gor,HbAQ_^saUΙᕔ|]T;zKE!ɤmbrP@ꓭh繦q Hsp@,fKҨ,9ۗaciP6&F7@^ck;vo Y5}ls2mFgYZ7zXZִF! YJ]ŗXiɟբX LT9W"qP}G EyrU%mW2N4) P)O@TfZ}YZ7zXZִF!  ]ŗXi%;CeKY lVBoZxOzKMުsV:i#3j/B Dͺc`܊le>ŮKr=Ic@< Ep;j=8FhZXօbv +vUU'G+bc\9G-qV/uu9N>0G,<' ^Eg Z XRh$u^$6UNK l Od2#fE`s!<Ja:5 D81Œ2-M̭cVGЫq]Syfvjf 퍏RQY+w[yPO 6$'cCG*نjTۮ"Afr w5qt0:gVn] e5[uq?nT˗Ռft%:"N_kȆ-Îy:.  ({t:c+ :Z&u.<%5)!lcaKͧdBeQlF"?k}2(i@mG0h-ׯl)Un  ^4s4C;DWkVE(I=}c{ Pa7[msP Iгxs(n*9lv{oi}!U7 0K=P0 fﳸ.]O0p_4zH+}u[8lI(QɶdKN![ x!~V ML.Ɯ_׋=8-l`52E.)(8pNW@?ytcP#c"A3|> 2\ջ;(aǪ2Gqk(џ"e'KN@?682[&VG0➻x}kO iAμ3R#gz6 >Sz OfQ ir=tgKXE ”j! Īy/[k["cZ&j#Q_ %/ 61big iTT1Ҧo诖dbZlfUEK]h5HUpd$AdzIB1ixŒGڦiޖӧy5yMAIl)E~r'TwsAyGQUy>e.{I cpKFl"cCo2(BUMk,+QYi(o@z Ҭ V"PVe@lbSwUn(ײ ΁\u>+d3zԾwYg΁<ʒI;a\&"z,ˮj0 ĩs|!t>7#kmY^dpo˽cjIDc&%M퇮OL]+5(d.H=G"OivcN XhzACl~m]B}|JWU?NB2h QBKC\2_]cxavCo_#wU@3-r.qňY6T>TVMJ"Cqsʭ-H&& бM|)?mmuAfviSs |ߋz\ņN澑Hcj UMbnj)-AWO[L^*32j d|bdyuBmsƴ+]`o"K=V0I•Xnpo],7ҷo(0rO#&@,](ʝS+~43b[q.׼~20t^m"Y|;vy:Xc=RM?cወy;$5BI:ֺR&CjFnIw 5&TcehdP^xsOR+6v $ !i TcF6@;Wb2DNcH6}EtPA^HiPTmN꛴J`m*AP3CRԧ|{L%X/nDmx|,xlaG)FxLڇ}3& `eI(mokM"ۥM TJ! -mQAlȂѕ*rrVg6>Gx)(U]j Q$oŝ^@5.9Yշ5Uf)5'YpY䘕$Օ/򝚸QP5)$9OuVl4uZ2/qׄT{Ն55cfR-b Ac8y_@^c=-E4܀tYy:~ lŤT,6Gj {ÎYNpiPpG8MPi2/\