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 ~~ $4\ ]/]HOLCF:threads=6elapsed=12.587cpu=39.700gc=2.768factor=3.157zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Ta0c}HߣI~v)۱?Z]鳕O$fuKGd?Jk~\+!Zy*hB$ԯ;FkXeWQ;QnG~.ꦱb] /y\e>++U!-(jP2_"[\Z΃>Ԋ;?B`š4K*syEfKGlVq1HR82O> xhor%/HM*,:v'$^ӣE_*jF77 B%$boT MxB( [즩3TUDn?ʔ5<2wFVwn.,{/!Y`+u3FD4Ov3> Yn<>Vde)RYb?9ns~/lYyy$Lix偤g -؜Ԡ],A9ЅWU0(h,=u0ҝL*Ú?4FQRRKH.̨$X? ð3ҨB߫.`@gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]hh'l9o:>1rgz؏`+lKiTլg*d8X)]{:ߤ,OAk8 1jKlƥqgF)dwVSZ5NbBga 7rk&} 젋}@.>WyRػ@EXӵ2R*E8t2"urm3z1͡ N_yV"ۿ;bS4a]ZAWR} pJс}Jl߅&>߿{BD3 A/pgϝ50q72[i 8]lH,[o+cm/r$Dt<(NU y.>F4uS_UPS:L:c`N,eRFIΣ݌/,0Aӧ߄~? ;CR:8WWۻt΄ A `ì{s!MۣPꫨ4įd~q9O13? 6֡ 2e˾GΊV;8aAe ~$n'-Mh:fWgYZ7zXZִF! E]ŗXi%E\<7IYXK Yhdypes4GzqubKR3x 6srZkN, hc!+՟YϥǴw36Finнc!ɪ YG7f+z^{ZE0j^Oӱ@?܅؂Ři25?Zx&XpB#2: BuVI1\`XM@3~0 .7pIʭ~EgFw|0D1ź})=uҿLOVDZѬqUN6S`.8Й5ХGްfرf(̾C\qH SUK-2mϡ3h8F:ڍL?@dك:w-ȕӼEf@䔷D4۾WM7==~#4qpaC?|®7DeD9U!u%4{|Id"iQ /H4.{12JJLWJ0+ 4:͆_8fpg%lq7ٶrNH ?'hn^8?ls HNìO $Gd!t%K_yO=BZ.ki߄XRᒻ$獴]PGzo]ZswU`GջQTx06Kq%pk̲E`tgy6Y$c -^ ܽhu\]_L&WnCsPN糛'~9U ׋gYZ6d1f4025b56f0d1c6e4854c1a43e4a0e6c61827981d1fd0a308fd45942f10777df17e6592fb6726b 920b8c66b9a56779b68aa076c35dc6ab8473e7c328c67ef5d9fbe9d71172088c0b42065a22a6aa77  HOLCF