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 2 ,dd ]]]ZF:threads=6elapsed=12.185cpu=43.540gc=2.148factor=3.577zXZִF! O]ŗXf1-) enȈA XR„u(x3uy'*f8ڳ*ppw1m W;tLw;^1{T}( 57܍X$1&}G'27ޤ:2„]39FP߸/GK_Ǘ 0v@k3( %dfZF]de}IoEKx&y,> .#D- /5DWD F~L,}t)FbR5}Un 0Ӥ]f=IмW+hcB$'zY fFT x89;Wsxa>tw/n찁d;ƄE2$ 5"5chށ㖨͗uTmS<]:t 57s 'yیlabg?y9?/]ݹ(6. 犖&IpD-޲q@C7^ۑ{E®mߓ ZZ%^*XQeXeTtI;5TfnAgYZ7zXZִF! ,]ŗXiɟ 1FE`空>ͽ_3ZZK`;>Vky'[׿\tm}Ͼ jt uYማ(N;?]tg4="C*Ƚw<U=@룂7zr:nږ o#R>m$].TNJ8k֪-j*ho`@Etz ;ca)yg }jͧq=+^ĶfT5BaEp80YNJnե.譲;jT ]ҋOkZQPrO89up: yu6=7+AZՠ ^.ʼ^&jANP~dRUa^B15L-{6\.cye w=T35)Ek&uoR.ֵg-)j E"0 ;_z=IZ|>7<]ӆК]!d f/ͽn!ĭi9ŋ%MkNIP C׋Kƽ`R8ߡ {hn5Ɂ6P3w&J!w5"q^zc{]n58_?/I2X)D *Y{Ք4of&(];X*懒 #{o=ȸ“if`A.x_ʙ%ʫ+$0vxLE;Q,X cj AѴ9i%#,hD\Rh$mF#9JL#"ЛwWiˇ{_`. 1Lҥ$56#&z:t&yN(;ofZd^~1LXT0NF&~"J׋rd\M%pBTLk׽~/-2x0wnIKFUdPCҖ *]v [`\+n% Jp˃c)G6/brՓcTR+Ͼ(t(]iח xQg7#x6-)ʵhqvB[~],T(/"xUnK2qUpGP/MN0`qin[> !P7u$uĸ:0 eT5p&'u:q뎖ZNo/;^hP0L6s2El:3+U&uSn<Gӎ^?^*{u:- R!^ZagV6 tu'4s:$hRIĝ\Z'/*M2m 'FA\]6 h@,ݰͬ