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 {/ 4?LyQ>jHo;W1kOW%*NWk,@uO#Qt`҈7LM7m+J.WO ]bptLL`o>Z3L{i /юuL{Y]Ls jmwv~J#ɺWBc gYZ7zXZִF! Fm4]ŗXi%;уwj5SisjW.7e MR ӳqƽR+Iy`o8Ʋ&<麖W'=րw.e9$3-qPq +x͆ĐocA]RNdzTmuJ NQW4"Ӿ/Na̦G9?JTj]α TE~ހ4 d e&ݖL0N52Nf=:*]_S$Y, !+Id9v"4×!&HY|`45hvg6JVfW FhӛMwRZ'>up9cE" 8ĖΚ#v׽ (Hx0uij+09w<7aod>01 ogCZ?8#ˈjx햴s/q\QI)}.*zʈa&dȀ ,!Υ9O;2 '۳g(uV6Ǒ  ~cϡAvLECq~kW\;Ԧ?zR8Uz-`D|7PO|`~>~7ɆpJFn~p.\xd \jaqCâ2Ew"41oܮK$Zڙe_IW9<=/(oKƓtijA]cӄZO⵰kTٺڒsL9XO$k"zՏKcNaRS*4nS`E[> !EjF@p7{12s#mЧO j}no$l3+0= ^juT2ډ{Y jz3 z~f