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 }}' Tl ]]HOLCF-Library:threads=2elapsed=15.777cpu=28.668gc=1.208factor=1.827zXZִF! "]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&շXܕ i>*L[71ț_]:N+ >X6l kSg#tHcU6.  d ! b0n{š@t}nd@pV DCFV':#j&? Ф5WoWD'r5fkoCN;@ CCº!Ak{xniekDkF8 c),7YRӞ/$u@ɱ8Dp0}Pc%d:.Dfĭ &K],`N H@gku);8aSgYZ7zXZִF! 8o]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0KݜG-鉑#5myn`X3qv\l~7y|Wtiά?Ud}M9?sxn:MpCVY^x]qZ@U7T$I=&F|HuH ĶYU saOPTlDZcRkv85IfF1dy8|Cx\{) zX.EH>[&y *w GS-1}@6QBlFmJϕv@錞10⻥9ɔUBmD1O-a6|% ogYZ7zXZִF! M-]ŗXi%>g t~{VXI1}a|p9) ׏BTOVG 6V)DvxhVZd`F^O!Eh]wΜ]00قͥJ B,!iKoP$[{0̴"7-j_5M7\SK LIV&ƙtHO\4,ЩlfqۮNZHW/<;- ]o[Dcwypʸ!0_@{%-Gh ^ '"4f/Nt%d:C^&hK$Yr{DRm{dR͜ZvAv_]_pY@7_O}->p{mx 'x؋)8OwFyrQ@\eG_%׼os7ҳP@[u{@ʨcp9¶4k@NYɍXw.Jٷ B$vǡm=lG&? i})1N Q.۠R6t*ޱj|FOP-f73Vo'iRJD楕PK; I /:ݗ_䗭rÖY f{xvapej=an^ Fu5JwEfYn-{{ 4 ÿԱgYZ7abba70af318720f1803d7d4947bf5555ff4dc850779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 7220c8ce702dc58dd05974d008871083c8a1a841a18ffef0d2854b8ee5e33a8766178cf6bf757b4e ' HOLCF-Library