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 vv{3 D  Selection_Heap_Sort:threads=2elapsed=10.819cpu=20.588gc=0.960factor=1.907zXZִF! >]ŗXf1-/6vR[]_ʥ4*M[#]b̴)V9 lK<\3HEN7 yԄ߰v$ŗV`1̓`ߜi,ƃy=sz,ɰb|F"?B^-LϏl\}RijK*F [\d7{n9.4.S.|}f` ?$~Jpxz[Q2$1#ֳݴϊ9\DH-Fm]Á#z{:@KQd:F5087'⍒qjxDQS5ڏb 3 Selection_Heap_Sort,q:3*Q8߸Dv(8i77':o!&ݐ4-l{͍RK$LfP޲p= ,f(vuq/B۲T\h$V6YprAE J,ԊVr# !ʯ=*J4 uw2&X5U·F@qٖ8/A2m˨wRZd#7<>%>itstđ=/=/??y00HrWwݑWDdÝHy-оr"4 >]XXG MjV+.u?WۇyW Ἥk!K=m)"d Jlw]zS4=\Ѵ\NTMb΁h8}Yw *taDiᅔ /}$tH74O< zP2FRy/ w6Lx_h+gwv u ! ,"kA+W ssbN" K-»Be{s3(O+^Ӏ+sߙ]3CM G^tdG&㒒O{g\j30v^m,Jp~m濰\FUoi_~gs䇛1nx*g!F 7Bq~g:hˣO>yp|c@bXl>T+4"`A/ Zr@Н [6 Rs\k׌ˁM|y#*DY'@u}gYZ1676ffa397c6b01245be886a0fc3465093811eca 284b12a0ec8c041229ad10ae6c9f82e2f36c4390 43df4d75898a7594d38a58028c1d34e4c8433432 7a98efdec282cba4e95e46303dea9e18de8b49b2 9b0bfdee363ab88dfb53d18309548fdde932c30a af69fe4884476a8acbc0986000bacef6fe8b57dc b7c9c849f43935a28d59bc64edc0e16b8bdfc610 bc771762a05134324001f2675ab4d55bc2efabfc878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a12