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 ' 44 ] ZF-UNITY:threads=2elapsed=16.222cpu=29.380gc=1.176factor=1.817zXZִF! cS]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb,'$?pN1٫٥ M&xKvJ)_㾯l`(U0|pApشdlxc}Frnuxm+$57e/_&9^H0QZ"p:4e8}N'ng;$i6: ɭp&W~F'>, ?%8q$1a/*,"OV+Rj ֽQa[@my _ XP}NL:g^>rXwȉ)BO Vn2NMV:CvҪNDdlgc)DXٖ= p1! J{pN2%h T/  KgYZ7zXZִF! hR]ŗXiɟ9 i:4'9Zfw4 _.98+ԛ :L ^n# !GsvIu?)'xU~-Œjsucr4[e[M?ڣwCGVyڐ˾# $sⶬ)z"Y-brmiP,ty7-i[23.'nZ 5~JW('úc@ugj$ẸgĩjǀcǑ?N\hxq[ф +v;3gYZ7zXZִF! M]ŗXi%96xUC7o'dfcŬa$]K/7t{6wFV\ww<(/򯡑)W:_~ u~E< ΃)] 7t2O*XP|Ê' #0E*a%jc,C Y44 j~ O 8]YKb, jJ aQN`s#"榩+ҋǻsNOVt?R)SFGw$lXDr4IsC}&*F2%?EͩДc3H$4-Kkj>i|➰aQ)*X]1 w:]XB8@=D!sr |8Eg4)7iTrB-?Ral݋xg ZMkug+v)E 1O ih[;  sTL3[,w͑;6|% AZc cygTHs Ыℏ򕩫{qa?4d[} 9qU{X7),!01 \I1jć }Cj3; -$T7%j;x*O`݊^׬AG]Ցy2w솇m7_VJ4ic?ɢMDF3Lb":%8Cԯj1Wp~ I#ÿ2j_WmcW oQdes gtrddU$b0ň+Y>o"zl g2~IX$)t HD;J]MD4F|T]3. f|%mF`u C4&7ZYt12[J4R]qnĽ`u Q/ ?1sР