SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info dd  lT w]Routing:threads=2elapsed=18.122cpu=32.632gc=0.860factor=1.807zXZִF! !]ŗXf1-%˓>    RoutingؽΒ$%`?D+l6 \಺pR5J^o+*kKz;vN aJvUԟ4OLTقgۚ];6f#u)l)vEٛ9ExoPXE>=~09E"m= _nq6z9 BЖY DNJ?]fU[]qef{(:SIL*$n>uL8s-2WH뜚y!OU,e@ӱ':RɒRUO1~1 Ȧ́Cm_^b{٧]AO*ϴ3}TOi: >4[5e݄ԂzHhFES}=;y| S܈PSB w#̄l\R+T¢ѢE^#Ǖ.>mPxAԝO*fEFP1J&h]Y[X\LWxX2LP3'L+?rɩޝiw^f4 t"yg_6dٹ9|5_*t ZLU2 _(ąaJa,H+2AUAH~v<>d֩wÊc`d:OhCޱgYZ7zXZִF! [n!]ŗXi% 4Xdbx?vhiVG.UjҥljW ]pFIB{Ph,㧶 Evo0tbG*jH5 ?IؓJ‹=|Sb$/;'UJxơQ[@dwyef*ΐ5 ..ittexFm?)m;Pjs gQ!t@YuU>