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 99D LD$ ] Datatypes:threads=2elapsed=39.361cpu=58.444gc=4.616factor=1.487zXZִF! :^]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$h_- ݛqsx"/) > [Ǟ rǣWW\vLd'Q3{Sgʫ UC$eFs#8ɻ?{FTǠyb \Fƾxg.0n\5ذ5\˔uU2(SՆyq_NI4LHt>[XVjfyƆ/\I ܫR|-'';HjeE LK~٧aG@t1' M nu$6v35/8*|6EP]0Ã2צD5\SoULȪUygYZ7zXZִF! \]ŗXiɟ&zLoæ/! 'y=#( 3LCѾɡI䒆w@D#)nſK8:jQ).-ھjΣ.#n[$^aX٤Do+^(즬|N8p@aA㒢1,# (?)eWc4_>񆶤)α#I<Ϯ9HkE>ɦ+Cz *լ1&>wDBsVJW p'~2r'=ͫ\|;pӎh"E5f+#B'y,úޕɜi In<&7P F$0.MVG;ZY \t8 _d4y%Y5+W+Ljv%p1v,Mj탠I F˗dJ,ό @;W()DdʟߥM) ߲[)PgدD^1i]}Eͪ9DD&#wFEavPC_7R_Dk4 8rϵ=;zW TwUxgeYwX3KH&Щ,V {z4Of7} ͈ 2ш!ɪ6sAuUl~en@YMkA{oN^T.,:D$;7dK55Kׅ|Y= B7&'P n2ĕA#pKč޵:gB >gf'r^VyQf9/OHG% ׺^i3O p?Y ] 5yx#y ^ ӣ)rtt)'f{XyX`G}2iwM)yo='W_e^`>auݘ$ޙ]P旝ff"جJmeɊMq|Ga[aQ?QuN1tVH]l$MNh3섞 ߠXelK֭}M֞ M~oNx ,sypDAoP{ 8|tH Βb;s <Y[9e .<َ=5oԬ4N$c<oȉkk|菥 :u-yA69 ns0}$g-+ӢO ugYZ3d28f14d87eb9bd25625a60cf7330e881ba5bd92634a34b0a78430c8365c904b4a02a2bae50a7baa da3f4711496f4ebba63bd289462f3fdd0cd836c3 c2c638f70ff654fe12265cfabc7c800e8eca4e9e   Datatypes