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 i1 |\D ]]HereditarilyFinite:threads=2elapsed=15.634cpu=25.180gc=0.812factor=1.617zXZִF! ]ŗXf1-/6vRZ)/V~l_vdᷟGK?尹^طN|J?g7W7y]ß<(ܑiǸӗʂ.9k7ؕ(%P a4"͏,{*QF&Z^Ch~WuAU[+6h#ua+z7dej76c;?:Gp9FwgacKG:&c(Ip IiE!G.ň+ɁrkG:Tԯ^~P[fm!|*+;t͔?M/*VMkkhڤ”M qX3$M{3B6qӿS6<)gYZ7zXZִF! Yr]ŗXi%;2q)J jV:ފX6Gazq?auoyd;Vm$M\ݺA+7 n>b-fp,c/ c&݉cD[{O&ܒYOk"C[\A?7X'lCFH+'j<x["mg^e|OǍZ Lд"H+-=*_WUX^෌0G+uj'ôD Hŋp&RA,]Z&8YdBj#?edzZXr!jZ7Z{_ނQhNN6v~GIEɝIg (*ЋgRhe CTq'd~ViEHՊ!h1mEK4o#k@32uft_dˆ8?j)`̰3*yW睕- i;B |P1#Xm ̨_XC̼%@AK;&LS|@!<|F9_tOiv\(|MTSJIbm^۩:X*%6ړQ%+:l=5W(އ"g|;bR'vd BEH-h0VFşzXQ&beQl +jdNxF Un;iȝα1SE-hD{zwYdĉRpyIJ'T=̝g|dR 樐̯Bv_x$1R**eұF0/Ǟbs(j~ֺ6h6^\;>.z;U2rb߇%$ ('!9l´7< vp~|2i~9.%| jte/ n4gYZ5593159acd247686d385744d46add5e2df974f1219483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf 05722cafa430ad5d32034406e0ef9a6274c6ffc09316813c56aef52580adf4eded5ee0f2a3d7b6ae 1 HereditarilyFinite