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 g+ < ]S]Quick_Sort_Cost:threads=2elapsed=22.747cpu=43.140gc=2.216factor=1.907zXZִF! ]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;_q4;G?FK'ޕJchHiUpfSWq-xt~usOoa\h@~6r[ܼ\7p7V}Y 9! yk$Ed+Y)xICy]tE-(j tO]rLc6 ~'ݩԹ JnO;Ɂ䨶daza7TTw}0\\]xŨuL ʹ|uA(3>i5n'%U;Q?vNrcZWЊͽ!*<ŭ+L7aKc- : Oh%ˆzF"狩kE9HB05yEBSjOu&\=J2/1q=,x*-S-(y*@Jކ*\"qexB_\hEiOcd1< _/b?g:)OpR IMO8Y?d jk iPƬ~s߭H @!~/KsnV/d#8( gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 FBlx("Rq+Wo$ e˽^۹KyLw]S@\y= $ :W2(ĩaC9? WhÜ&,PTjͲQv.>k=}h}8%4 3Ao 7G`7GtN0\|XChy}7%{cһy- cuuyƌhVŘɳw6}3k mn\4M%*\yA^`uǀUM4Hb5uQ^wik.3*iK >Kc`^]m1/뻟X602V z Z}oo3ZA)6]0E5ΦJߪUߏt3ܭ{*!;u͗<>6í+7j; ȻP$P$[!rwn<ޭ;Եo'*T@+saϬ'/ẑ@0 xYS9 }S]N{p!wڣaϲ/Z[bPdCNgC*XZkY[V').nɟ1wzh3/;kq\`iR%`{TWga6(Sr3@jǭ`І4J@G+ɪfs4 B $eҢŜQF3uIjflKtMwoC@EEDH1i)ي} 20~V~[0N{w4+b;&uձ*_peCmrKY vP;/"vG}7cv=0kT=VX/A֐̥]_6 ײO@ Ʉj-fUAL/|ޫUO'NMs` 5){  Ȭ5Ҝk c`C&{7:]6 ;j^;.4S4'RױKJdmv Am3||qT} ItTȔϋffL˿ #ZBn]ե>S 6ۈ$v-^'z.4 qe8M85랽H*.EA?R~/ɁB4-QShO5Ga4]қw5 ,g[<#,bS)ԣe>{dϴx~w} HH32o¡iHzzĐvHB0&}c/0˷U*d"Yp@Oל 9+1&_9tَͭ6D Js#رHfIN 7d,Q%