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 ::C vB6 EoIGVwWp푘Mz+Jl{z3U`CCj He^H5dJ$y}`jx\8nQW_j\ t1m6EaZ^a(?M&_*=~#r:|mgfN4\ԃ_odsIV1B:V ̟Hk&(u*(tn-,wgʽ$!8B%3}o!~UygYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]cH:nG7)9'``V˦c;p,65?zv g;>x7V%en }b4[" }wWTC̥R%NF9Uv,7`O.YeiT'G`~wb/;+Ns פ 6dH};I!N8%oBatNk.#=kp 8n,\lGR 6Db?;%YXfM3]~bhx։tb>Ɇ&r57P4>Sl&?^.pD¥U/a[߄!U%2k1(i,M6lfV]7!u@kզ1S JtJ>khoSȤ"tv8Ii|z^R&2jak֨&hH] S{wXH|r;<ƿ!$Exb%=q;M)Ë|zَ WvaTc|"L-:gYZ7zXZִF! E]ŗXi%Ed}Vj;5r'6 ' lt B-'7bJmjd=G=^xbmiz'/1&vDlOSqYӑ5lB̘Q4o3է)8, FpO'uN ф\ٍp`;h*-!Za4STZ!n0\`;6j8-G&'zS]~kmOX4 2:p1BOSC7ĵuI%KALe=4#7mY*՝r)y'`207zQ4xvÉ>}J2fyUH&!9}a~ƌ7+¾`Ms)x*5>!xy%bJnCm.A([cXZ(۫㌡ @QЯLϾ.[KRp}m󫺽s*Șغ2)zC1{Bplޢ"R mIϾu,DNQ G\agY{T ɸ+{ W8&y_3Y: BDT1( /$UQTWy+;%| J0yj+2l3`racBN!%ED0J6sec u [ Ƃ|j^)Tda#H%$Z+4==B-/9>']=ߚ[V =E;vRn&okv/n̶f\9R}~W:#k4P`x{gBR.·S& 3kGBrH4mrqѻ}ېM @3NK/11<)y nD';~>I4Vu9GjrQ( ,X".6iOWfhla_&sQ\xʘGY8K=4pdKk#ZH&A;}|@{xmQyKV*W Pt!L8OȖ&>r"lId99rHvcA [up,21oA;I-h*ݟyJFr{<yZ㖩b0D~0e㭓VS'XXBGu3 L7hj€T 5/%ک6V~mh9C{g9*mrxz%C1/on\V*l{\>Zx܈d]v1:٧4=i T&>i'h&"ˢ)=Dž[iʺ|8N@dYYLvTҲCkYQ=U؎UoT4 (րRl )/<. x8xbE1R8nlGE{G)DW5rbK_nAzYIM?™Q: N-SQY{%(mI oHgYZ2c694f53a007ed4cdc173f78de8ef2899189a28c95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546 d01107edcd6213a1a6600255da677abaa24a1f97e4c73c9b7b301454f878ee313336861a06abb54c  HOLCF