SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 f dl, ] ZF-UNITY:threads=6elapsed=5.161cpu=25.608gc=0.900factor=4.967zXZִF! ,]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđys:`]Ww[[ N37?T4Q։@ ](|L+/Ayt(,o7^tl lRuM3}2$>qpHn2hƠJ(҆ OYM 6iM@Pw3EjyQ|V'ntYCɄ`)E@bReNkS @M r~]jp`Jcgb+} B_s:j3t8^[IhQ? +x3&3En()Gauz-گNK+j"nIy"YC E0maQC!mDwpEyXSՋ\ Eî.tN|hzI);]+9/׸lX_ P$m#}O;N]=]]Xc3PE~mY, y`gYZ7zXZִF!  ]ŗXi%9(P־aY -ΘՃ q'.64#3g)j: Τ:o{&cNk=XH#.G1 umCecM\jS~'ܠ+? {. kvWR5.]᮶Mx&ɭy03Td-v{;H.Aoʶ9iT?8x9X߰Al`>xs>ʅa8>K~tHc6X`"p)+a_,Ǘ:gFU sӌ=^XroaL@%oڠ> 2^+P eȇ #Eg+c71^Yx?F̗5ӵZKr&u=y7=N/)rTaԹ>M+Po EJ ȡ i8Hq)Ȫh7v3]l0 xUT#H:w}Px%`q_9,fU>hEx>?bD)DߕbU?*Ҥ EKoiϑxPNYII3^d>:nѭ/Z3SO,r?@A5M@zU<Ƿڜl9gwq,8386̤Ez%weYw}q/Gof 3)Uu< <̈>I]&.8A B@+h<{3/5:?1|3[2gYZea174d9663598582e3efbf2fbf5df9a99b4a7f815bc7b8609748a10319dc3892a3dee59fdc4e228c 29009e8b230678396a33b192288ec4d345d67c69 6f69132aef636bcafc7dc8c93e729d087287d659   ZF-UNITY