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   r td ]]]ZF:threads=6elapsed=12.033cpu=43.280gc=2.272factor=3.607zXZִF! F]ŗXf1-) enȈA"tr-j. ZbNVH;Sw<4Uf~1q* >&rL}LMl|n1!/m&E8K)Pl^XX/0ii8NHsukuEֶHW^E`| ކ>ބ#1@ȢfgCo DJi)4DeqC}7Kd.%4ԭ ? dS94pc~ܟ. 2ۊ"vnM˭:o뚇t]8TD[ZaǙlp쥱gYZ7zXZִF! 2]ŗXiɟ 1FE`空 SՎtafӫ&){~4.c8P^"'LÅSc[N ˌ}/0hGfэ&ę~X7$(?`}gYZ7zXZִF! C?]ŗXi%BY?B_Qh z`rK=jTܩgrt0A#۴Km۬ !En$I.U8!pvGYmr%NI-Fxm9ߑn8[jē+ ~6?Xoly^,С eٚMU`]Kh !lȿvI繕,>[sԡ5Xp|-o6 juh͸K^߂$境s_qx2ZZ<   a|j2u3¨q#۱OST'yJx 'ѷltosavQc:_ &C@,6=2㡸3:hpLhؙ3;?ʸAe S B;A:Cd)+eKJ5𿶝#kt֔u>70ͬ[f 5@1) a\]_~rS6+\YRmP+353{ Q z셤 Izcr&zc؆ hO$^` iq}GMO->UsG*{_ /ϚqXp-.@&8PtYnDEh? 6q(VȸHk5}=_}+5I?iM*6C۲;)4coBXAz]54  R҅c!=h:?qv~w>=*ݳlQ;"ݐBWw8&|co+N6;p\ 9nTu‹PupZ˖ Al/M}8J4MuAw̭%#gXъcM0B&B~f:(uƧDU-Z<5a)шt{QZ?spۅr(Џ![@hFW5%f]q֓m4pXbNNA2b6U|Xbu%%f}&< / ߷y  ɥgYZ618e6c63fcf1902b52e0584fa0415f86d2abbeac3ec2aed6e56052c24ce5cac914b0579704df917b99f150319c2c0f54a4fd75c5077abcc76f909457  ZF