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 k# ־1SIS%cbq?Xx/Lsi[ۮ9%Z1m!Crpz:Az{pOY4 H~:^9KBI6׾~܂rP{|ۏV$Xw4p-v]~@ԷwDmIOd ăS'Odm)$C'%+S\:eRXP ݗAFf/&w[r4: x^θϏYCZ l2=֣F'@kP9Sa2:hЂ^Be!E%h\"y$ ߒ7N*Y8I0Q־Dèp*6#'ҊÞf%I:wAwŋuH#D/@6.g˹~PmP809:#Q]CeAlMxf8JK?]՞.;OҼΐ]L, ?,5eG}9g2[;(בHVמ†(eIrmLɀ;d-,5$5ΌVow~̧]62?sHeF;+xr8M3zԄX5)[|s& rDu>'Z.L#lf5PH"Mup^bM$hgO?"(^pVy)|[s} ە;`=ߴhK̡ʜxaxfO۽WAƛ ?,~m=1 ze \[@[ḑ#>Θ' Ֆk=hU ¶R'PPi35|dɛ+~=Z&H>rtQIQ:SqK話gYZ7zXZִF! Mn]ŗXi% Lj>~9+l9jgUs&Hj1"@ m;$t+0GyDr(\&D<FOwdra6- rC"I ^Vb&cR~7**O$?+O٬$ksno#ȟp೩hԿpήNGe(O+;8K%= d{KsMF0pἪ ]dҢ۔,˷T|'Z(sZ 4#XnJ|ʓe1zct<ġ?2-]25}Ӗw7i-2|W9Pv3Gh baZjN#-8d$yD ذQn`k`J}Y Ao)$E/DJ)!GG%94yt5@J0o$f&q"In E)6]` .!ъ&|#$͉qbcø@ml1'?ty@TU;cQj朵X%=ʺ|52tǹ8nI&J'6]2wp[td;t}sN!2.P`6h\-$ ~߭;"_EkmlS/fD ϓZ: N) |{L+1dd'ȩhUAw <_4Qa$b>iVf03j/P=qn͇1Zb!C](JVn蔺'桎˖!/zѺ#\t#>?LKhK)2$ZvEԛ28g^_G%͟4rA ٱgYZ631ae7b3c446839ebf52c1c4ecfff6207b3c9e9d 8aaf7df6bc028b07f3d05a7070da1073936a5e21 9f14695bfbeb9d92a570354471f7696ac1b86ee1 c9930b1afcf5527349ac0254289a00223978e996 d106237fb0fdcfac92b4c69d767734ce9de27446 d1247494788b55f82d71ef616cd57895fa5932ea f48fe416b000de8a60a7420b8fccf973030ce862728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c # FOL-Fitting