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  5 5H1\ m% Transitive-Closure:threads=2elapsed=3.830cpu=7.088gc=0.264factor=1.857zXZִF! &]ŗXf1-/6vR[l- 2K5![7uoQ8r kZUS1E٥;Y f#CcFm]}>f.V`a+h =I;Jc^ev@4u8ވb5r ||$w' O?2atDHYé6QP){B @3:*{@z>wP޺V_YfŹNaKwll ] o? .6˱gYZ7zXZִF! ]ŗXi%hp{HǟP\hZ'鍑E1a]`[ x SxMWYքZsXqxsgɘ_B)7ry5I;<g)G>CVuqX}vqU Cۑnwi Khh,ѩ}SeA'ψXHi٠/r^pitVȣ^xC|'fP,մhť"$rӰ5bz"pf[K}R:7}d|hip?Gì&:iw׾:S70 EaLthr`?LݛrzuܼåH*A\ r~eZ1*{LM!-: [)' VU: R —|7 )lpZ$\[