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 00M) , ] HOL-TLA-Memory:threads=2elapsed=13.802cpu=24.360gc=0.836factor=1.767zXZִF! ]ŗXf1-q恈&5v~r12bi"wõBoڧ:se8ܶ.ۋE5V.7< x4n.kI: Lʱn5ZGE?4g÷u~K\kO'gӟm0EB}G5'&h_v,4!VrUj!$j"׺cvLBg2 N#f8 KLn]U5:Yc3oOn1ݬ6䥠0>i 1l9Qt-]igj[h ٍ T!p"spDJ;?S/BF)DW7;JV_@1lLqQ.y_UzDm"7iM.2@:VB[agCwdu@GYu|~ם,ekA+av;#mgCeQ2"&TKn_yKid S'9gYZ7zXZִF! ]ŗXiɟ1zV?/cJ=HTƳWj8zKWC{یS<_"ݠ@)e.KJC{śʏִ g䝴w\Xǂ$y^4i"W'PCS8=GCa0yl$±gYZ7zXZִF! A9]ŗXi%;ULO=aCm2F(E}̟[5<DSW\yE!9SBIi6 se9dzN T1H$_L} 3 #Tfy/[@a^R5ɏ&] >4CԀU:g\\#RY_{/?WD~`xpEZ4@0 " ܀ 5%[-Enx]hr驓VabwGS/r_*QS?4=c-"l*UGlX5LDˬvvP¯ZC16crOQDNc>KNʽImN݉ST7x=XtQzʡ(m`m@GGOv}M~>ь&-R֝u;@%b(P˪^W7<+Q,ܘFď$Yvl7`͑iճw|2V* G`=xZtXWAEѠ|wx++6#l^yL#RqZ:ny: J̛]1YMkC]D\viVuQH'4R67a!h_6ce:4;3 *WXQZˠ}i\+zH U$\ܖ"zv Cl 2h:Nw7JROu!Ujc[> ]_ q[wLե:fުֈ998>mmo%xpU`#1 ΘLezH6F(u)ZzZiAYH \F)IΏy|q?P.\Q{f co9P桖0i N L7|YL,J")}[Č~}87h~e愍73~guGBQW e݇9$v (\s"c`LA!R.LTO%:]{HU\$#gYZ0263442397eeaf0e38750b16a152be9537b13f74f82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 35eaa225201857107e827622fdda13b757fd8deb 7cc6770f142371a50b93a606997ecc5cf9fe14b6 ) HOL-TLA-Memory