SQLite format 3@ . YYQ77Atableisabelle_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, "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 CC: d\ / FLP:threads=2elapsed=21.063cpu=39.136gc=1.392factor=1.867zXZִF! m]ŗXf1-/6vRZlh[j^iWrYWrWzN{\V#%G&_ 躈|DA‚Wɡ`bTyrQ`ݶO6bOo l2!NU嘘2Àqp#* xW%h&$5|MNnGogTN^O|50K;虝w=Z/r"؞8)ayWK֪gMt⥕(вkY7wq3Dg7nE撴B6<#$s /9a9T-^vB1x=Ry}BĐdRPܗw%ߎ)ц#-fKV(#~t?uyն1@$N[ϊFL$վKt'܇7(- H,xG\@N~ 7s :9Iqw15VVk;RNwOo.Q6P_ :_E~8~ʏ\d%KUޤDLI,ԋ6RΑ88rVZjLUpr,w#..B(ATeXDtDgls`N% 0m-*9S~ϱgYZ7zXZִF! n%]ŗXi%6yKP3E:Լ$6hHb+{< &Pu$+`@#km6L5ؗ=iq5njitft>xfaU}#5!Y$}Q-c"QSg O Mr{1"}d* .~-aKBAA:t8r[?c K}1]2',Wl@xj_L9;Vg eKob!jeX26)p!Y41%0I8#K~%V򦷼磩t?Š|C+VL^k&2!y?n)rD{G9F¼;D,_!xp&8WOb5R4≮;qLMUa\2lSWΐbQz"(z\S %Wp991gu20]uy=uWacכ(,Ėyu 'SLB߰JMEދ* m1P<ʆ}LX}\zԧ^ңn畧hUҌ 3vLKL i.OQ>(~输Tђ4DTOfA%n'}l}--"G&{Xk۔ʼni[Vˑp'p ܙfFv.}k`ܝչOC{|Lک Lr.Þ> 1uVސR2Ӂw5Nhj1˵QEƲSTbʗ HIb1|J,5M!_\Sg;iu#/ )PPZDt <ӕg^RoA ~!{ܟڜP[yiɃJn˺kRD-Rf\˜ϡfRd*ZEh=ݮ.w=M%*~0(nǀ5u8Xz"))tLn`@6剻kQo<;>*D'+)S f':& W/"}4jϟ$pVlؠN.BLAb=$o9F5}ԫ">58 2#xFn:~*WDbخ͙V+{?MRqiVJÐK9x黯Wdc=:gycQ\_n}e&yf)P5Z+jZXآ߀K`POH8 ?ˤas{nR$#s}\2W5~}0J'%R]kP }?RK&PgGZ gYZ4065d2aa3852da8346a8e9f08d4ee6bec36e5bbb 48898eb19b7b309c9f15050a07b005bb4abaa949 500cd027f56a73662d6c310098f0bbc412b98778 52fdd0533a1e8127c275526467ec1ca77bb32625 7e0839b7baa11f1327c6a71e15183112f5367054 85ccf0c30a622a6d4e6386ec4544b9a5eb44ee9d 8c245ab35dc7da7353f5d3e16d37288c705783a6 bec3626a0f107fd180d5aee975463ace813319e7 c71679b10f7c0826b882ee457fb938fa7667f354 f370ed826c66d9202230b90abbe32ce8b424df71 fc21a0490abfedd12b945af7b576af211157aaa8f0df918d4045ad6c60b23213b65e87e41842eac3 28b0b14cea5cfab8a9e104dea18417239d359f24  FLP