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 F7 d ]Pre_Algebraic_Numbers:threads=2elapsed=17.084cpu=30.200gc=0.616factor=1.777zXZִF! j]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱdUesB"n!jt"CT?XgkH",>DF%Xt8瀎 }j} YuUa}oc ᭩Wq:dG2B jzc!uD,=BV אS1Z=[W;Y\˺q zTOVen䪿&=J `BWկTW͍B^o7~@(؍d4y$n>EpY3G ~%C$8tgPAs^+THh i%_[JLr~4{Ü/vlL79i ~R ;@!03ҬYJ4f4͵I/9@N"zhˇu|#\>`Cl slVe:wz݁&!1;+qHUQZm'%'8I(ۗ8@ yW+r]%'F5reK"mLyGa x-qB5gYZ7zXZִF! O]ŗXi%=%w^1`o$PbCM,!a,ER}mհPu8,E kCޛbBƨ71Q, Bbādp/3rHlNd{mloݱU#6]9{wDkUucTp$с̔^(A!2' p)I_Op8TJDHyHXfvfİǹa)MɒaHHmt[\XI)7l ۅeY3:X)G FXk/\s,c݉U:uv/5Svjɣ{v!}2Ae7F RRLDyjy)8V?/n&#՚nF ~`UJC\*{(HMqt5Zm׎Z9n9 6YVt6mSTnAdnjnho)L O;wN55c9 'EՔri(/41$FF0 ˁ G}FĝuUƺ~U/W4t+3IoPT9ٺmie.o[ڧBח`VÆĻ}ox D V.VivXLGebK] 痟2@I?g1syx.