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 { ,d ] Tycon:threads=2elapsed=9.501cpu=17.252gc=0.708factor=1.827zXZִF! ]ŗXf1-/6vR[l>efD U9gY(J!}]0Vvy3(ж=ȦILcPO`Pw&hkz2IolCkaJZAwnkS1mf8m٤ Rtőlm7.!Ϋhm-p R+"?pwd(M ~{r|7y~F/)mugi:.cR#p\ԗHM*wbW6/slʕ}Ec0">qņWVJB7zsyNsZ{) c`_ʮ:m gT/0ےztN.BB@@|-vvD-.s5Z^W9G›A"i(WG\DR&v]ݴq5fJΙ\GV>gYZ7zXZִF! G]ŗXiɟyڳεĬYpaFz@IJ9U'(f=uM2Q6(.Abro~h#TY IwND =vٕe}[j9Rnlb@aI-0o t>"q}ǥn\E"3d[ꞎ2>cg?[;!>h?SCϯF[T21Qe~˲cR( JLgcńN4Iko]pXUSw]Je޸f;v[_^5}ȚpE} gYZ7zXZִF! @*]ŗXi%;3:T!ұV\c! 1 G*I?r 4fP^f=#Pp ::RT@W4L.y4imEΎ>( ~?2$9@2UP"knG,ׯeB Ʊ;+4<0ʵDTrzѻ$9AH;yuDWC ֧5jQƇ'.:[㒿W;7^a\l5(\k9cAl y!KYduHAP2,}NcP^$9@P֡QS"X`[NnoHKe2WZG{𼅫Gg/E1;&5XpZ*kwWX|r2 F[5B:mN?b;+1b]b7U;Iq4OrD#Ti|J2Zbڏ8I  WE9/-q) DlK(兣8|7@}M ѱpׁcvgYZ575cf4c7d4ef55d5daffb448bd056fbbb3781542665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 0bd3304a582979c438ee4e1b126b4178b8c35f7e  Tycon