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 uu+ d ]/ Card_Partitions:threads=2elapsed=9.340cpu=17.888gc=0.472factor=1.927zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^I1GA]`̡%0zu."G1qya&$Zx%зnbM-㋟ng`8^Z2ߠ~Bi#T%Jb[ɉ7azbŹ,1H'( \Z)Ƃ26(uqNW Ug tC;R5 #J ;p0KT; S9RϟKqZéf3~4d[bc)zħ1 ʹ$š)g8x+M|ij4sڹuXtH\GJؽnߝvӈhTՊTՀmr79T }%8?Ǎ/d%M)cDjfe)졼6`M^wo,Ŵd.)X-182hӤђIZ-~asTG,f(d 1d8?U;;6k;CE_PG;i_f%` ?Z;>#pDZGͲ9h{CnY]̣V찲`o}%U^+,}W|=]u5 ^T|[ZBAF2Ae%ga=*xvtdL>cM>jur$ ,\k)e-B}]1jL%G]e.׭$ɄӺW$PB#ZY|ӁG c8y3qK'Єa~GM[\ϰ¶"ݗzP N:d()a$;ZCiz Js+/T_ſ;g^i)ty[Qn-{r޺!):}6J+G>D :n'>[Sd ;@{i9Fm g'cܵоf jI10)nK=4Bp` rWDxVRzEIq9jy-/Uv -j񓞭[;d&Y#7lvųLg眯=tZrqE\$(w#nӵhćfI3 ISM3g#VZ wh|$kY CTTJ_ 1xlNgYZ61e3fb85c161f2ec66197918db8168c43d8a6d51a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 + Card_Partitions