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 <<1  w]Routing:threads=2elapsed=18.578cpu=34.056gc=1.120factor=1.837zXZִF! #]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o   Routing+*kK(Z[/5'l9rZ!1Ƥq@Na2D'OqkKhMY#~[tOJD li(Bsh!'jUy7m4e9jUP3:O!tsI^w*%D/`קdaŃH$F\ e/(W9-Hrdݻ>tQ\ K0y>a6X`y QH y4Td`eXŝUShd 7K{mM, L~g4>(B94`^'Fa1&L2.boK‰D%?F7s)Xqt2q+nj6B oBB#* V2:V__EwJKHT=Լϰ g,OsU[1[U' )'C j]/>&j,ځt] L0!pѓlԾ cļ~ 1"Kw`}vp<f91Rt$z,R d)tPce<6 0%u>ׁ,$P`Y!Vo#FA^Mć*Г#n.pnz(NgQα˭rGђ9O;,;_)Ȕk܍t}ſbԻ-c;p ɎY@iubGج1"qTMbސS>PnW͚eAc(˨%hUXʢ1ZͶ)1i#)1e`7_[vjiad{6GmH-sx Tz&%cmxGgYZ7zXZִF! `9]ŗXi%NJKp+`aYAV Fm}pAY1+` 1R녘/Bu*tdv0 ]lVd}z #(8+YY92^~2L!7}/h9p$5o&I[Qv={H\%I]`v,}:YЬW=ÜyX*C+L׳J#[VwvST=LO7m&AG91;Q%y.UX})\/ZrMpI/3%#@5dKTY2$z9/Sj(hJJ`k62EȾ}̸ ^R˚_KFg WEni0kc!ҕ{dʔܗ q]{fkҌ7ջh, ׯm\N|'o- R|Џ|f?ِ\̈!#F|o1ʹzp+6tg5iQ-j0s}EMZamk/7.:]eXÖV-goTdzd,m\xEQv䱠 dpváy˨nZ栖)ڕuػrbQB2pg('pzW Pbku,Z6k0TiĦ3C*g+z #M3dku=߄RsOEX_?"Cbn{tHM.c|6G~`<|~|VK|bܻ2mm^LLX*DǡT>U~:t^*&mnj$5s DTތwXOTc|Bb"k&1=a|n7Z]/9O5$4tŚ^dƶŋDS*ѿV^Li<=  `^FgYZ02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 303d7d7eba48c74817b2881d73100ef92731dfcd 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3f18b4d560dd3639e0a9777b9388f296855730d9 62a1d8d96f45018326331062cc8afc64f10989ec 69b4d87e9cab0b856337e17afce32c08395ac7ff 900ab7ecd6da99fec8ba8ffe4d1c3256ea1d32e1 9c7bab68154467da37776ea102cd6bc82970919a c4ac153398df77d4b04d3f3cec6cffe5f8ffbcfe ce95222cff59676a82aa7c60323841e4bb20a604 ebe1e38c8762b6213651f2847f98569fe75bde6580f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 0d90e78a71d4ad12abb16f8b317db1f37020fed8 205c445fef659d1bb829ed14cf20920601e0921d d8ea739ac4e82a47386687b87fd7c93bab74b637 62f572e4d57be7a8cdbb84523b2b959df5118a241a12a233c112199de532cfb2ece6dd51b8444f5a