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 7 $4 ]/ Coinductive_Languages:threads=4elapsed=15.214cpu=50.288gc=1.568factor=3.317zXZִF!  ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{ұݔ_K`*Ǚ8qAHEzzou ?#^5R,OF T5\ˀfhd%Ã\ acvR3KXs;+XÕzV:X 4ދ~(x( #V{,hqLج2' S]xBa@ud7>*2DWJɒM#hJ`(͗E N3 "]&O|}C̑a7z.}IsOͅGws'hcE ~#uS7ܟsFXT# u #6imy䩻h7fw!=<~JQcGһ"_a viK?q%NSsZIEf#kM`x౑ g~w`\s@i o>qpFփ v@O**LQ11ϭڜ˾3n))SQPo'w!7s1^Lz|b)!laX]NtH݋5h^}5 (o+u01>RWNuNɇtpbv'vBvZzxp pth$e6q'gYZ7zXZִF! ]ŗXiɟ1˦r~KunύNN{׻UJUCL.oؒb>Xl40 !^e\ƥUނMbyu "Bшa]tM7Ѡ iҪuAh\e[7g(-7W__ \m g&~kS^.D _誙B bTRPM ࢨ2}rb[uSdlἔJ1:˄' |_'ob?=$-Ĩ++.ƵVc5P|3z#٦9CڅР=^G=U%&#*JR6/afm\DJD/\B$kyѰ™gJyMfrYCJKm5814`Nk@ljE3fdAxw*-|tI>;nB[K%b1 9\"-YmRh3HvXs2|$2T9CۧUGu}qj0 ȝ|n!3rL`,Mʼ :4`D^uY 5׵h9^?jb7At"r*b5l$Wga]=VD Vc>~=+NCv&994G~kukPfgIr=+ ĄQHi^ }egjU!*.VH;BKs׵ _˗`kNtϖW58M;dLJo6lTt}eC^>F$ :ElHϛ1Z04crpRR̸:鍣$!B3ƓO%Le TBw_ZzF0iġ f,i-4HS/>8Җ/T9cOkY9k}$H?OGwdeY/`fgۖM &̅*i%}I|t:a1| H2y:D_yQ؞)4q+I~χM- 1e>+uLfJ*-jk=l4$6uɊz=iBer,.ь߯KkYrm`9{FݍbCw'ңxA/XF,jT#A1c?n$ ogXuVl'o.&aʳ