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 ZZ# dLL ]/]HOLCF:threads=6elapsed=12.998cpu=40.576gc=2.380factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVEOJ)`@rf:K >B&KR5l0kAki:B< % Jxʽ( Nh[尌ޱ:B^E cre۩-NX1.*SXU?h4lpyfi"۔m&{>~`;6ow0\C'ONj%})y=B㜠=lk"f*i5UuB(@nĤH_fVQV2r7q@N/N"B)ppFkqHol +tsnyVk?laPX>,4qS*КvuyVZo>ö]to Gpy b_ q>HJtBc|K,cӅ>a3p?͕v+|G+ֈ̑X2Q՗SDjuw`饽+ߋX?Ӈɇ9S2]t=F/GhݑKրIjȳW= l;%J ?;]gj6iѵҸ0  j`o\Z{!E-$ZOx_ay!%@¼ ^{]fo;ьuNT(w{:'up`k{*m ~ Em[a}P`eu-}CBK=͊;%%'AW~; s)ңj{L 9N-G?LFR,{']hB(="6?P: ѥw:8;QQ|PP1v/r4L?B״9){qb]^QjxȕȞפb9$xNV4-"M.tQy< ߅\WhٌRGaN"p9lղX(rplBl)Z+*nܢ?2ţd+hᴬtdDo+f28 V/K A^etAļ}y( Ǟ@AipgYZ7zXZִF! >]ŗXi%@Z|$$԰ vG&<9 *@!wC{rCًʔ0f:F. JB~0Ix~_ oF7r{~BEyXJU|FfoXFfm5>P*E/e}(oHFj0Á.ǐدlFOE[_1LZuWx=9"GjsfXHC#5R擝޳tn`2g=Cה7՚l oem^+ah > 1~˾Κz7G$Z)=L!_7؃uBEX.QLO6X{jil>m;v* |bK5o?if?J*94hDjNN26}D^E)7^LMAS gKL MGSƩٖd)̮=}8kel Z+Q*ckO@k;F=)5jO1j0}JΓeSm(\oM: 34%JCYnc>b'ـܚHu\o詟0mX*k/3?9[cK/V6Ztܓ~@QN +Xc[7]{]~ٌ 2esߜec3p L|nC4`碃mV>0J@JGB]$wm9gp}p%b=EV)ݽ`h-Y §SVbAwl{rms~̛R,#h нg9LJ87X"{{RBs<fRRO tpCx[ɀ}9F9L0~į/HiJUZiō9VPP(>fs H GCn3)۰ ȃdrp?N rL63w6vz|ucC7lo\$Tgv=U1"wNrg_ 24(΅BC*f\x(Qw 0X;T'r犰:{- Bkm7cW;P"kR)n) ;hih }jgYZd3f64237328d8460513181310f67ff76807ef1364f9adad097b83b48748aa56278725eaba3e0de72 4407b64f47d089c8dc6c9340ed5b51e835b9101db37cfb344d9694d4a5abbedea4f4fc6e730c80ec  HOLCF