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 ~~ \T ]/]HOLCF:threads=6elapsed=12.807cpu=40.300gc=2.432factor=3.157zXZִF! O']ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{W;\Sͯ۬lZ}H9fqǕe\=ϻ ҒJϰ@Dտr F!''4xtXį^ؓ{+VR*;zȝo Tx_&cfǴvJlPj(c˱gYZ7zXZִF! a]ŗXiɟ>Ӈɇ9S2]h( /dPȓW՚kљ491~'@jAH !cgB51 Y[;G#VL@n'Y7ŞiS/AG%7;p(\/.s.(F :]Y #jVTU0jG'j_{:*Xmm?@FbR z)CBOA%Z wҒ<-/]Ǵ-]#0*TJNl5'0\c{ڞ^_\ /5j߰(hBzh:x/Ν(#5_Ĝ9\ hN/52|̭2 +!zbnr"r6R#?x`Ԡw/P0}_qf,#qyf 534\- B2Ǟ]jᲆ:΂c-QOHHH1Hr2X%9 y;_x4 +p3,=:uYCLGڦζ-g 6Z!VghwpOoWVgYZ7zXZִF! H;]ŗXi%Behш[9pȕ~-e=s*҉ 3Wr֘Qq_ Z)-nV涏wae#䱐UG\!S~iփ|^D.ꭂ  UnXS כ_|`()%] d=w*41dvxnvF Z2cC hdf2p.>~iW"c*k÷F ̀{8jxjrGziջGrk1pCea?4sޣNeI67B R_]2T27|$aˍ,;xvu9{ot {X}:δG  Ndb<HٌA&H4BS^ sOe ںֺ0`nG~(Gr%ػ̫Wi75g9 = v+jqO8 #YQ7v|ENQriX) isz%.ͽ%v?ሹAK}{O,kkeVИJu"5,|tSZ F)I[{O-K' )@anhe+( \ G{A!* xч19eYn; "[]~T+Դ"A6Ƭ2X& En0-7Om[}՞jJVu;,D#>튶ʱ=!~6rpMvo ǹ:wG0u1zp@1ӏN@Wncɭʈ>qHc8ѡwe3Kn)gY)!úbo+B'$/|w;$\؏٭G$m跆9 't˫(NA1 byöFDkr1n!e܊%:J]E}5=W\J9ڛ{ #Sa0)-[pq̎v{9pOՃOFf[r$"Z R #aO21+ &M1"9]c[=cu`8l:eĵKS,t F -PmPRvku,Tb]-d>;)vƷo A~1:bKLq"֚}sPcjk_vYãIeFN5R9qmkДb7#.㈼PxcI<?Pg2O}&}Y/LR$c ۑUgYZa0da272a064eb7a0002207565ad59912c8df11ac4ffcfcdc02ef3f1b5abbf97520a085cc79a504db f6383c732bf7a95b23155f974528a61462f86e5a99c3ca8415cc35b14f6c5f0cf439fb2226899b1d  HOLCF