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 JJ3 $4D ]/]HOLCF:threads=6elapsed=12.909cpu=41.132gc=2.964factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Urj?%~G7nE~v)۱?Z3!S|:+gֻVxE' %clY?C/>5 RRJ68gUWi7p '={\([=RFV&TE7p]j8 D׍/,F]E#3aH,W'코..3Y=NS%OJ Cb֨9J(75. \|n(oB:i@Xt1\NGbC3/@ǤaF#o} ]\#wMZ~1 '7TA!n FJJhgO1ќm>V@HY "OQw _vbʨX45h)(%? SAl:x֥r$am׹封+0]âј;"W?ψ-k6qnakx(xT;iyѠAJ(zܡd6eQEgYZ7zXZִF! Q]ŗXiɟ>Ӈɇ9S2]k1{ai_%pt'KQ.R KmT֦t!•N- sg:?NHJS'/hzСt|(o>k/#eo0]E{t1CPXcxl9Pz봸% %@PWG11Ov uHPdY#iGvCAb*X ,?sBD?8/nd gxa, i% =[&|/,Q1ڴ sƔðl;E~M_w!T*AuC=7%lŬv-l ˰ R%$GX?Ŏ[4rSق)I \&ϓHh=ha+3r))KDHqDoxAε)h-wWG +ga.gYZ7zXZִF! H]ŗXi%G5Ĝ'!IS4$EÆH# #Cj>N5 N]絪lc\1 fS$REg|*L-P &$nmiz!#R\+rgc[}pWO뙀Xjg_jӺ?Aam/D+9w~@!75s'42disA*NVY$uj)Et:<_"u]OH];!c$[%}kHt|ޟ <`BbGR4Ɲyt3!&j6`hqbMd^ݗ J1_ W!m)Ϯ]V gqP9}2 :RHD{b |AM]P?f`'M @  ʱ3Q(Ln")()R{; 8;BU,N3¼;/:]_."K^B_DI&O)(stLPc3[=#Zt6.sﺢ嗗dhL7 DG[bET;zS{<%k,Jt8'l K)5JLapۻKg'\,T(hFU_mAeR8#WltIt֬TvmxsjK-啺:g):ҟ'o,sjf7CUU9N^r5ڲOVvFd\n.U,OPVVhBb]]ױmܲeܝ).@}q?"Eq3n&"g tCxޣ97H\).TW;=MqrDKb)w4R\w)1t&]|D8|iQ Ԣ%EwԦ7*3'mnKcI~#؎N)y N,bpBX$ t*B!""YK׳~R]h2CP-*;n3+v]] f"M)\0H}צ$e>DJQ% Uj~]( *BP4k#NR ? J?FX黑>/ChE޿_juCHYz.\=0v2S74~pC'`O~O1"(۶bCPҒp-4𾐦EI/a+BFf>-:ѸUK~hkXOhbfBu>@v^RŻk4YS$娏] HY<'85DK K`gYZ11855d9a8c83a08f29964e733db32b815fad2c2f685a311797845e45d1e0e94079c226b99532de8d ecda265f0c10e11be2e8ba52576797c5f2be44b5b1be95cc5d2ed4216199183e7ce14764db6a87d5  HOLCF