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 {{1  Sw HOL-Probability-ex:threads=6elapsed=26.378cpu=45.424gc=1.184factor=1.727zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1K-#S!3ldX1ٛ0rQa)n&&wЖ'#n̹&7 KmD3Hnc[[Cgu9 KzvaӯCbW7 [\?նFm{0c<ہ+L}(eM֠B.3J| %B=q&$WQ/\Zluh'f#c2@.ods _ʍRJg'K ?)ݰ 2VLoH|,;Kh}Dz1syQCbŠQ~2AmԀ {$ѳ2DK/@80!K0GgHqD<@ 'j*$bO#g+cQTQm9ge×衜޿L٘i4C;fx㟍1TgYZ7zXZִF! ]ŗXi%؜14eBXsw^eH\JʊP_j0S`UnADMKt.ߞ8TEĆm i8 n*]l@ ;vQݞD靎kjC&z, ʗj`<}WY {`m=b $ z\է| ;rrׅuVBYAIˏ#&Wq !Q,b w.G H)]0F YR}'pS1'~;|kɶ?^",xȥ{!vcts}8YP"ˉO%(\-=|o)~[FkFXk+4~y3Q[h&iP{gdAO< V( U0HSՑJiAQ&_$j!ݧvIj@} f(n dmY({׶&0ZSڋ)_%^bgVTooE_oιc(k s onvXr!{#.uoC.0 ǞZ-?S/e٘ t2&,iP 79q:CsSowqDkɨQx!}gTY@B#bq"RǗdZ62TcN0ZYEWW8 y~ޔkH-cG"Rk'69 E&LrE'!9j !lu?([o|6wQN2RG )+>JC:BJ|ۃ8F)Hh1=2c2YyL3] hjX" ֭7y_ sD!g afryB.=g]c)q L勬ʗ&h)<OaIJZyFZi,G%H:o*[T