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 g 4< ]/]HOLCF:threads=6elapsed=12.653cpu=41.200gc=2.836factor=3.267zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{Vd%0M%eQI p~C[/0yf0 I[ u2<+<ˢAgvTM Ujr+9'5ƽVUl2i eR.ѝl/5>| ݌&"{yO]9UPOX7濺s8DN!+&Ӈɇ9S2]hh'l9o:>1rgz؏`+lKiTլg*d8umm> r>gbfW<+ݞ3#ԯ3e$h9D|P>hxywݼu#+|oPK97, /74jGtHҵrV"a9Rfb x$azȅ-@j_ zΪ՚;DW^=*'9.8 *pwKWq0-uZQR5fZ@[ u{YU;NCQpPKB$wH*XPxZS:9C=ઁʞ 3,nQptCLWz=05_}ے(eSOqvAq [ eciUWBN޶CY!n xD>!תWkD ڷb־ h1A~jo[Y6<¾8iW(ׯaC$ђ=kW/DL{ҚA: Z|6]#ia[+NEZ#Uvk+ac WiK;JҊۓǥԳf9'ҒS :0r)FpHCw0@t=[ ê$bC8n $q T5EO:?Ȋr{!/`l< s sgBhƀM jtHHn>+۫z˪rM|{gպNxr\Pޥ J sҟgg(YfDZO/#277 BN nj 8ʷ?;p)-%.O험vR]:?n1ah3(;Ul.o%ֆߌ6ď'5(/@?/6w}Jd]RKz2AҼ\t[ "~GZv?xs: 1ͷyr &GeX2oYuꫴOB t;T<@[^;vf>MuR,q͆d΋bpD?*CH C,=Ye%AYm=>ZMsrxwKb>>דwኼK= b0 gRgYZ0f6766a06a913d4b68860e9cf4546fbcd3ff8aa6a3d176741bae82c9dc513b9f3c009dc5dcba212c 631fbaef9289fd3b1f302dd3ed834db22ed304c219bb84b91c08e181d9fd667cdecc57a14cbc37b9  HOLCF