SQLite format 3@ . BBh77otableisabelle_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 63 T$ ] IEEE_Floating_Point:threads=2elapsed=26.824cpu=40.016gc=0.696factor=1.497zXZִF! "]ŗXf1-/6vRZV"3%]r> =GX\sY곤@_&@wwHdx?^eeRR`:@WEI`ܶ'oa7αr. iiNM{N<)-ccr\#lw5o(7*r%N}0xASQZ3=vW6UyC[_Ups\8MUEbCM<Y6U샢ꏎ:j~dxh 'IVKT`^ѻKeL/61Ah""wvep"z$L{ 80MX3'ܕ c r(Apd*  _cFt)ίYS(B|եD 1.?'/k4k8fQӗj'mɾdG&*q;ge}q2<2D/-M` P"JU}-={%(R q bDTm'φ)A=gYZ7zXZִF! U]ŗXiɟ h]|)h/zmjd0CL/g>p  ^ I<'~6o@jxyyGXö,S.C}~hx>Cr,\xXfJ8=1gYZ7zXZִF! V]ŗXi%9*]p۽Jt%5MvMwqu(j [)$3`ZdX+BUsJMop)7Ϲʩ%'{~ЖTOtTI|ؼŴt\YK9E_qc xoò?p$`vcf'kXvJ[w}+u-ݧj r\5z]"@~b,gM{=L5Z^y]`;4=N >%#IKhAС0Z-hٻ$7n@"N&G»>/' s2zx#2S9mh#!EʒC}3pڮ6{iO/>f_lMdG[}uR/bH"s~* qi0+8fD{Ei@ξZ 6b;ž/hQtTU-erBR|c3hB;Y^!o+)$ ctX R8%#Gc=T^Ǥ>! }`ޑ 9:`}%9 3,¨I@Y,!oHc ayyca9T\J #[!e] >WN7FK=TԓA+eDҕ&)I/IDBk FӌJe/H38mEAY>#^=w+L04,n3sXG[hpNl9٣@`4ȓVLHWcr-nm5¤_[U ,[(d'ـ{\e,dΉc V'nLRͱg<%7NxV.Ԥ.PxZ`*=g-X0ZléN{"oQMlRm꣕M 4R\ Ã]G=Ɠ{) _wM8WUEJf/\D$**0"t6:1R4e޺;yb4mڍmYc=( g2g65Gp(3+}3Bt NVt3acOw}B96>;s&EFO2J+i`++䚳ZS} 4pI&iSaSJ\sMpG)|tf; מ}YXgYZ404dd29c326a0e8e6ff17202880004fdf90ecc45325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad 3 IEEE_Floating_Point