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 @@1M d w]Noninterference_Ipurge_Unwinding:threads=2elapsed=9.170cpu=14.804gc=0.632factor=1.617zXZִF! =j]ŗXf1-/6vRZږech-`UMqď꣮BYmSY"Ds 'cmrcRңtZh>%$P:M;KxVD[vPCf6(z_ux!8O ,X,'̚xąfh\r[~eo"ne'?3o,w-hwyO"PSs_P3SfC*bv%_ ž-]3ݛ~U][3~bm Np{UC&Y3¹V "R ia>,GyEl 0=w />-c]H Wʏ(ws}Acv5\+b2;'|X)DæsN45,Na {߯DgYZ7zXZִF! 8<]ŗXi%zxH$ ̛լe:\UʹbHh G5g|FDJt>Ҝ|j0egDK!2o]0 u,#&>Zfinʤ ׀pj&cBƲO}MY7OqOKEI^\BŽYdǭxG@b("mNGނvKr *+lfy7yRV%Q?s'O̔}E+ab\3d(k B  ^y*{4ӔТ((wvp=28 k[Tj7 k1䗮rU=-l[~e_FhPh' wQ&2[sMQ0@5G=PJB{iBNvƶ ?<ORW oȁ2=NV1)5S]~=S)1%B$HTih dtp#$ga,&q{e,v39EJhI JmJʁ&l?`^U2PM֚`Rح4izNk-3us?3 ƂY{.cXw `Ļ%xTR,膃-PzLJrKA_~СYH0=@aWnϮ7`T;o<,ᅭÞ\TݞUaUXߎ &λpO-f[YGgcn6az(I}L͈֤CFO€0AGVn91Pp9ygYZ63b9332e0c2b071f8797a7aafcddf15a927e077b 91942ad783652fbce74e1283767ea8691b7f0ae9 a0209cb008417d27a08a814859edb9db1cc1f428 c571be726e2b51d61550b43ddefaa284ff8eccdb c6ae053471c2ad3255d535dfe29781778d5930f3 fb97a5a27b8324495e15710f48c01e4a6b9acbbfc27a9b4598ca656eb9c36aba33ff1f22941d7b72 64354e2142aad138813a04882ec6c2904dd4a4d3 d9f23c539dce30f26b95f72bd5a9a2a172765021dc22bb813d07b10ee311800746ae76ef45d0b173