SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 X3 T$ w/ IEEE_Floating_Point:threads=2elapsed=19.225cpu=32.188gc=0.400factor=1.677zXZִF! NW$]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.7zZ~ M"d65 3 IEEE_Floating_Point>vÎ%7frF}n[*I Qs%Ŵg%PImBb0 pQ\"C5+ڎ p=)ͷ8 D>36|xx$O\A8=GQg5mıoU0?/ːv+R0Mq7AQ C}MIt@@^id1IY[\0`3iP+ڈk@HAE]V>'ai_Q 1cf&ZAJE}6K@ֻ1-L7jPKl5e"Ck)]8GeY{SR)ҕ12Ҙ86 :ሡS4ء ûvBRSK"?j';d};bP忓j#1`X;6` kwmnv#&9B{(DVXP:ɕU f,3t@g1}g>=|i/L[ ,1EmJvOlOʄIGqޤt@CzbeMkM"@Bu e ^Xٍ!sn|(!csxaL䶗i81# "/:g#햲xeH xʼn#w՘JFrwɅ`UG%i{~ZcJ1[Qn/1mv*EV Ƶ铴nA/l)ܿ2|.`VjUtv n,;:B/C-j.컿r`*U?^3 ~Q9ԫB*FHME.(@MM׃Q(]QG]ƌY֧ ,HXǽN4i4!(rAA1(q]G0I6Z!)Qy x7+7} ͈mQf:|^9%-Q@P*]8+vid[-!&|g^7߰Nmcι|~tx/KZcj9~631UJ؀{l=>:YRh 6xQk]W*[3_VĶcH uȊ<*mUgOgfqUB"mpZ'?s&NPVn ؜k3gYZ7zXZִF! d]ŗXi%m]k~${@?fep52Ͷ O>};ꪆO֪[+ҋO8/RV@ 4Ir쑊e/p;Ϙi7g~+jkxTX8l\F_5LWTsktVXz?ZN)+`<_Bk{[f`DmnWM4s^VD?dX7"R,oWɴ"MOFT H1.^XQ^šȽ|Y_(ӥpulY𑵀Zp [͘ɾXDiXL^%C~9u]}pm!B㔑Ǻl k}H DwEG#YN@u_dxt#Ȑ>|dz |ٻ46%qt+ O#!}P⩻$%y |),n`y}EQce1Cd߈(/#O#Jx sN =td~}/lPWmr@fڊJP:.x NG-&@ZV0,qlbx@m^0tWz+o'ʢGRz9>.\@d>CQ=_b1RlCް4$ʮ5 0?},,k ,W,Oge,!R g0Wچ;;;]Nؿ>:TƥLl$# re{ЕW#Ja5/X8:+`o{!nv ͧ:*sxOfM0o3DS ^[5t,]9~cXSL/poC(gOۡ -s@P7\mjL]}+ܪ3UkkJ 4e7>͡>D8b>1e֨EA^-{ wTD4/ VEtmJ[;l}|n&~ jcTvqbK`GB [ύ1$Ov']̵;BD 1: ˉ kݘ~K.)ox8a%k'@[;][HZ`7HB_bFl|m.ܴत6DMs#V#7