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  ,$ ]/]HOLCF:threads=6elapsed=11.863cpu=37.216gc=1.860factor=3.147zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@08 O! Ps9@PY q/V~8 vT{w3=67?|EiE٨ˠMB& x cr}0Sܖ.ba0EF`D SU/A=`MT_l`o1ԖM6#a-ªYmeZki_Q1^G2QIA[B_nzpBG(ː @Y%^sHS@t̮&ԩHk֟O&[&(N|gRԽM5!] շXVVm>Iw&vT=6ibC2_{h`TS1c,`hn0e9-g* -¢ZйN4OYC2%cd]dbA |`S;`61@]X&D sVAv]%[C$M0&mh2!2j vQ ? y"XH EIWi gKQxu y9oLt9r@X[&|Za W ^gYZ7zXZִF! C]ŗXiɟ>Ӈɇ9S2][3M d""ݯ Fh@Y?Ik`+lKiTլg*d8sF, DQ{|) > Hj4fTe$qt3o"+YCwoV~EnXR_h5XaТLD)wX~/{ θcA~,ll5b>tE;n5Bmm QIVk3O}גQ-R>nR/H-r"<4pOS,E'H|k*DS$EO!C#{&h8lXyV㴖%^";8&&2k73w>ۙ~lGW{8pP>#oHOq!; PMnkNe=vRRܝۘ^qIJ!,Hf1lkgYZ7zXZִF! C]ŗXi%EWmS+1"B߳5< ]%X$5X`:+k"H?ϨL=:]g5ȳ/oR4VAQ̷]TEow5C5Mփ~o 81\"Ko: c{%$q9 d Ⰰ"LI A.e֗hԳ4}JRy* ;2Y|㢐?MJ1Ae88u u6\QzOx~K<TO6%~bAO"sׇ(1/32ƇY|R1DH2 ͺ핤:˧\JwѥYnc l*:nM*(n/UV(YRy51v\ٙF3x*cR?ziD:ed?_`:X+x#TM)]4u&nK~3a=-9|Y(f:Us\octs@WlfUA'n0B(tx_y-@&SFaN {D%ߩVZcaR`pTd^6;1mmq?VB¸eK]~U{$lzeL:V+Ar&TĈY=sF8n,)yʦjH?lGsH^b/#_ĵ^wbw݁+xf́!`9i䜊ĒV͎ پדy"pKӔKr.qDe)\2׶ I}q%78>kk1+NK=:9_԰?Y&~sEw5of#ϟ 븈2rVFcx04n]_[e0j RA)"l]rTUr>4]`钅⠶Q*iBl$I%Q|O3^ٵ!|G7ϥ L7m塳Q=jȊO,W8=vi6UY3QpIA%=~L{ꨡr dp?;Yv绠#%+Vtl{ #*`c 4KToH;y;q$a:X ɪ`}S=^U4#MJ7"[;%ӡq X+LSGΨ [qŢ .;.r`}BZCL-,m@t XQ9;JȄ[_|bAhlP*$.K/+]ϥfj gYZ3cf78cbe15f80e436a5eca3393e6a51813ffc2d9e718bc473d45ba4a009a43bcde2945e08948280b be7f62f52b4dd690b858e54668dc2f0f3869e2f3af017954b0333a69982edc8c1d631e83fd1745a3  HOLCF