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 x? D< S Imperative_Insertion_Sort:threads=2elapsed=6.914cpu=12.920gc=0.180factor=1.877zXZִF! 3]ŗXf1-/6vRZ4%LB.$8qĀm3d6'RAQ/PwaкƾmُMѩ$05֒:NނmxT QyWV=XT)RyVQmu du^+ȵ{%lCXMoڷG$"ʠ X,չЋm"%2sPBZ@"T?y`jN Alk/P5yQ ~:V'ڽ?E &G,%= gcSd!NZ>9_)踥^n~ʧ{jm-^ΩYD[ 2vBArLlQ$*w̞|إ Ǵk͐o^o㟼lh{-N}kH>^* VOL,i%s <25!7bN[ueUX VuA/Lڵ~#!XR?@.[c7 (Ð)>_7$de05PC8c耹Վڙ)bXU& mOoHb-Uޞnxr`/ܰ]š2Kw%;d+䧪@Z6bW n5V9C' kʽ&:]#UseP&Y5+cG-w`X<;i-ʩחJ^ݩ[jڱ{E:j{KlZݶ:乹fg)=gYZ7zXZִF! ,wW]ŗXi%DQ@(zWܛ[,jEge GA>Dܤˤ";_{KɆohKJ:-!Z- ,6mbVB(9d%$/ow,Uny8% N2GxCc[2ղ.*9,{V,!MM'ϼc$ZXݠ[纠sAg  |ofPfS@t h5"= qdə2K;ƽIsAЮK#W[j^B:wY~yG1fN5J}۬8a?:+G+3qd1uQh^ &_K}zq߽_-Fx~I:7?*Me9G[}Kn@ p,肤ްp oҮLVf;8,u, I܊ CQ{K)WaKTtvTS1lNC#3&p"X26cWX}W`qgps}Vz9B~Hc.XT/M/isA4 Ķ= *P 0dt%"ٞ@=-YK)‹K|Bx}_H'Z]#I>nV4>S^!s0U5oy&=~. F7fkLEYC vHɱmt\9KJFTгּŨx3Jvc(T;pmA!_xe[GlpE {fdSARrz`x6ghfc-~w8X ngYZ1a498665aecc39f15d0fe79902f40663df6e938c 2f53e1e3627801fe5d76702d4e4508e026e7c97d cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca fdb135f8c8a2843ff70df4732d84992e346dc1b37df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 d7c831773d39be89659796e275eb69e6c9883c18