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 ll < w]LTL:threads=2elapsed=33.577cpu=55.796gc=2.608factor=1.667zXZִF! 9gU]ŗXf1-/6vRZ "@`$%)U^Oh'^C'L0"boǥ}IGIt{Ko]M)|ēEX7 2zksY4S8Zq<.9?PB{3*%}V8Mu< /$ĮDOi:zBd .elhrJhRCH){ -y~Bef$lRL\܉9t{tQYԧ-=V2U7 ځF̅*c~fh1s@h{ʹ"!>_Fu>ҽi2g^50MsuB1qg_FY;9f*1Yg~Nʐ`{>Q D b4TG;a 嚞?/[SE!z?<Ȣ)ekΤh()k1mΘxL|h^yʯ(+ 6O9eBt U"D ff= TcaZ9s4%?wM*tNߡHxXKaj1.`Hqn4ԵI)MPc2 pYU#4Cұ%+}}١p ZL@6?Ԕ )}l.a6XkH՗CD.6?^ʼn8-.genT v]@ <`z4-S]MDeOdz]hzܒ:/]P  LTLG«[Et Ys7,0Ő%U9P)ڸp8-gN܃\kLt)m_ߦp.p)Nj*H_%oT>0SԝEqz $CN^PJZQ |'q9u+`0#4WjYd,_Fj8jVCג7>|=s37 GROK@$a^yb`ć$OD1)Ēu2ǰt`<pp`  c//lVIr9\7Ȍ$Ip` '̯6.iJdb<(#J$ w&'<)׸xUVİN%`Q`LTamx{pO1l]4X8[ r)ӕgYZ7zXZִF! ]ŗXi%H蘅 #`A/oY͘=ZѪ(Z,ie;*IܹRGYֳb KRM<sK3t.㯚-΍>{a$#@8B-9Amr@] bzNϊ JNG& 0񓓎ݦj%^@ǕN5[qlT~I] ߫@>GnvAY8_1>*,\%#ro)Nۿ5AgX ^tP|Yf_ =d ܧPuA|{9΅t# |ڳ g-Bo4*شn" RNqLкOEvg,  )\$>V:Z@EOzDظlfܑZE>'U[u񋄈@e?*IVrR.Vt.ޢA5x2b?,`U8y{.&0|e !ui ؤÒrl\u6$s;O}Z!ZE8VfQs]|`ɶ:l!j7v]wz j ).Y+W}}g8SKW+4f-\IYf*e4rMCIe]ӄY,3vϘ?ׄ . 0}O-&*ssA![GSFv|Ev- MKr kUfO3aPGK.kJ{x8pqp:b8\ms)[p$9vM ߿U]DK3! D8N )_CC5>n~^4