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 w T,$ ]/]HOLCF:threads=6elapsed=11.578cpu=36.684gc=1.848factor=3.177zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0O;@;rݱY 'Sg༶ONV`1^KUO|vBv.HH*Bgp?Ec8"茦yP.ΈVN>zY=q \1Ezu'YŜS}JDƾv; ݰKf e}ts!E.:C !h#i6MӸ;s ]Mg*I2Ӵ;&MGƙ$'  QrC&99G6j_$v6枏G!5$@ψWa\E' VOzTQ^daFhH6y=@TcR6(>q ߄3ZQdKQڞ Ğ|؏FgYZ7zXZִF! M]ŗXiɟ>Ӈɇ9S2]Ufd">Dj!*)k~Y?J}TPƼa|RCϥk$tB tL[z|I8čӂ: xCsgYZ7zXZִF! B]ŗXi%BiC eY39+[IdeϖNoy@_'sxY5,dܣ8Yj5RJŚ9B%Z)\G]c#r7LC`4s7v8ԗCsQVđGU"sTѬJp}/T@O >-g<& C1^ױQ)lk"lHζ}> |=kQ'Jl'eI!gxLAii_Tk4!g ː5tERxG¼z&?@|zsL Jgd&1Qme/3W8O;{$ZaX{&`&%+,$Hgqz[3!Sq){)φ_vs6\ňrMΖ)1FRWkɰexA΋Sc+`Pȍd9)5'p:ʁq +JpTH1j}]O<#pH'\B{.\T%*nv4Qܭh@H)Q 7 -no2]1W3$J]{~ Hd|lhT)<}7u`.ҁRRu'nACDnʔ=?W{Ys ^Re^HCN,t%:Fw]@k61LG g=1F2@oe('c- hMӫy;Ktos9!똛(ߜ17 inr gYZe1b39aaa9cf7caba401bfdd4ac2654d47fb4deb113c804e8da8a74f383295a6bfe0c4311b16f8b3d 3638ddca034a61397c1cb22b68500e71420bb98cac9d59f1531aa737383c8326f9dd17bca207a17a  HOLCF