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 2 ,\ ] ZF-UNITY:threads=6elapsed=5.097cpu=25.240gc=0.900factor=4.957zXZִF! h]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄďn$oME'x8PwLyˬN3ꛊӺO AIN٤GQbc`pB32Z^m~2!C@׼F9YMNd5_9/j*1!kY>FC3WKsgWW6tʟ/0^WU (j*ps&J[jqa`7}gt .:3[N<6Z݅u{T, $( `SHBo"M Q:א1Psa4^ +|F0`<_Ps*ՠjE|)$Q2-CL>5M֏% 'ƪ7wM[Xi 8尃9Ӷ!ӕ7&g}$gYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP7ׂ ȳ&;yj2ƟDΦ{`/WrW E/IPcKH3a{ MLzhTa⹣L*O_{Vz^>'5#ަ/ M sRcN۟53-Tu.째%DEَ .yF)uQTrبq/7 e:QHU}1݈fpIW:\VwE qĥp{<8lr{j&'N F-ZdӀ gYZ7zXZִF! ]ŗXi%9(M&Ͻ% k)3=-K q?ΊοaV:B9/}ŬXY~V)_1>C-\phl+;R,yayYz|o W`AS bf$ʞunI!g).˩H>{GڸO)|0ep6^7h΁: wH`9b; L/Cmw6i>r-{7  HJ;,o5NYoSno}>@=JRqyAĤ zj{-ɈUe}Jw _nXi([kwduL:jq&rEjhwP,FPtD{>dn2;Yn'Kt\P7z[Ug(%eL:p o8&S]W2_(RbthЇRe$У+~:o;ƒItr_Y3.Lkpka.Z5ε+2IK{3ˊgYZf65e8535b915f21301b2e5921a1c56110653958341f17979ce98542c0541e9d469ab76fea38a3827 868dd4560e7b65b0979392f7f50959a32248ad06 d6005179fc1efa07d3f57fadc12ba38e8603b1b7   ZF-UNITY