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 C' TD ] HOL-Cardinals:threads=6elapsed=6.528cpu=34.612gc=1.216factor=5.307zXZִF! N]ŗXf1-q恈<-¡$johkX2I)']8PIyNnN"'(s(A˦grpɈy!?_ rRw|K ! Ϧ ;PK|Me􉋔PLi3>ט 1H21]9C56;F!Tdu0 d~eU|8OUӖjim eRSgl\ll4Xt]~z?bj6ySkPv ^F}<mGO##534I^ R*{ˮEaVfaf3}-֩;Lx 5{#8[RhݕcN&=!@7JU 840s>wٝ*mDtQ$C8 74J%\ B*3|2/T&+GǦ)*&gYZ7zXZִF! ;$]ŗXiɟ1?ߟt;9BP2CZz眭5 z%zOūqOie10[1f| U ӡ~wmpnk4/xnS=ä\)"R>T1*HyV&~Dgx0ЄxSՂ k6i͗ſK kF{FEzC߰^%h 0϶1Z{I=@Ij.[e9gYZ7zXZִF! !\]ŗXi%6`@RhNq-4FKôL5Dj'NZ{AL -XWΑN-/' Tͩg!F$_S(gKKs5 PnCd|'-[C_=@TGOY#.N ȘS^Gظw[Jk ԰rL3ߜp4'rtd79܇ ;xH49Y^G do"8ݳw2ޥzB+̺K3,gjغLٮLܒ ]XĢ7‌4 Cۺ˹XJY(`jҫy< :v/i[腉>1-ISzK)M 1*GN^*'ls#r0LPߊ͖$ ,_ڷ'fjWw̕e(F#,KiJҟhC'n]P!BvUk%ȇњ d'|OlƄq ѠaX4ώ}q]-#O|'/y 5AkFA7Kq%mt\H`C놚0kF ID+ {{ jFO88I`F΄[|<޷iRDnCu ֤ *,nEY:*u D' B&Oh