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 R, ] CCL:threads=2elapsed=5.262cpu=7.632gc=0.172factor=1.457zXZִF! {]ŗXf1-) enȈA T"%zav{Dک,6ƒ%Az-SZ؉g, |x :Z=N*; ~L\v}Q08EQ{+An9-.kj&i#GA"\􏀡7f,TRiɀrKYZ/}ۚIq^ =/*IzEwn;c7 LJUV冗 q3ʉ U|1=Z`*m+`O(| "٧IHU`ɾF9f| d`[d "v YuޓcG B^fR5ѷ~fqͺh/OF[X(^ױդ'rLq&;.Ò!-O(nU46H^Im[sMEhK&>XXABAkQCԅUjx?wNs g(i>!G6#r4F:|}~O|#c\*S$p1AArH#\xS[1S򟭠m_x/ yǻN"^I@ r6 &jr٧c$kgYZ7zXZִF! ]ŗXi%Bw[[/E{A5G]nC ɺ2k6 o>S}&Bxm6Ctq{FG\rj`C./O 9(MpǠ%_䍼)}XSjK!,YC]11' "Ҵ֮  CCL뭮u(6AOzljӥH6@i( A\(1$%h>|~U0DXJu0Cmމf"!%FAcQl_㯚IVaWnsi=1) GTn Y_r=QJX|Z1m#@􍶮0]l0CGl5mr% ZٺEbBhv!1B濻jf_L/ ڥ_ҨhfцH"byi8(V;=usv|I9-KcS `=Gn7|;sC,4vH$G"A\掩DU+L&bo@T,kK߫D*M_u[߀l33'F\gUlWzҫOXo1qH\Y7[~de]gT2pPN"ʥ~]'5ukW?8_ɕONFݒXSJ%=@37'G=gYZ05232043e2f6dcf0d3c3b97dfcf160d0f2d6763a 093e7fda42ae6364405854aaa6ad3e616a522b8b 0a36a89a854e17f148491fc7bcb144bd432c4925 14db55975ce70793e1f28e49981ebc12bf712aaa 1674c49fd31f80ac65ecb4b1c8d560d7ceb00650 1924a95f6a38e1e81f9610464d3c0c6e07926520 1e209d54dba57e11d4d8a6119015a1c9e056b6b7 228ec6545c1e72150b0dfaa862505c5999b0f301 231b3b4e9a10a8e16128f7ea74e7328c97cb3f0f 234edc93272bf62dab3a2ca2a6889056f7fb5b67 334e1aa7adc8b1a96deb0384c6f8029685aaeab5 33d270d7e7b4fec15ec4e468fbf4cb701774ce22 378a226ac35affc3be76dd4ab79e28a6947aad43 4ad68d929330874fff877fe0040e5489f460145f 57f19d44e3eb930d6d127ccc2493ffb2bb6a8832 5def5f753cc3de8773b21996c5c53eb85af34ee4 606f29ac44e62db6b482e5da7be4fb3ed6e9ecbe 62c28e5ccb473bc5eb3b674e4debc873b7cd50e4 6957bca17d655056ff82a8878edb7d063db1c3fb 72f000a40a9ee3ee76a186c036ce92672a3e5513 7805621f27ada9df23bcd7abab9853c3c9a059aa 793e0012ce134159ebf0f52633f4ee2c60b00c53 7b596e0eb03352a65f8feedad341e67d00d9cdad 97bb93ec60f34c05489f937e6e238a010c18413d 9f8ecfddfd57ee4e8aa37eb1bdf17018d77b84f4 b727c1664b5587077fff6a6909a99cb1799fd1cd b92be31af05c3ce26288e844608163c3cc6492b3 c1e5be1ba00ecce35e287a67632a7edb389f3b4f c57f1436b3d827605b2236f0ca05c8252fc0311d c706810f13eb66db5acdfc4c622ca890e35190ca d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 dc217076872eb986a89109e382c7ed9f08a0dee2 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f4ab5eaea02e8e225c961fb5f512062ca171a998 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 fc1b7128db53dcd242883552adc496463271253f014fdf73a0b928fde39c061b3b448884e65fa152