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 p5< w ArrowImpossibilityGS:threads=2elapsed=3.603cpu=6.928gc=0.200factor=1.927zXZִF! 5 ArrowImpossibilityGS 2e]ŗXf1-/6vRZ]o S.AMLfDBjXrF:%95*rC)o[P~1: }%5jI;V^eUzk*7*Ag{. Ӄ_IH=#3+SJ!N:#Y<_*޲M 3ӺZډSjl'\6';8I x<<4W yt͕bgHFnvЀPpHy&1'i,?S!{!f.]Xj3(b.t(;ܘB8zf~hq\OᏴڄcg6׌6Ɔ , 0<ϥ #e$$8e`*&ul-YXdFܠv:p{&5?ג|VqRuetbQfrQdR7mfpUN>-%ak! \qAz;O)0z*jFMPl44#m_8c(,6v_:9Mb?e(=wtٶ1) ͐ꞏƃ,mfsAb{2C"vFb^+;,.JgcMTՂhKHnz4p 1QG,-z^;#8yH!Wzuy&c80@'Sv+mAtCg\l'H+w㐜0"*c&i^zH0vGfW~'gerI(z,G4< Ji6쁒`U{9CF>ey>-oR׾~ &fXۋ;G&GNdQgYZ7zXZִF! ]ŗXi%Sk_IW@ `TΙ:ݳfŴQ 4GW^d;;0ztT^#y3rL.F>-+FՁafB`Yࢌ$/TL]rWd'2@~K"V%P^ aqx9Am8NR?\0Jg%iiG\V Aw}-\5 % XmΆc_.K? BQR+hWF%*pɁP`ņ24jz.2A8W 1.??yc" 0Vt"e+hPt}R6?'WoNI')$.i{[ϬjL2k*ܓL%pl ݕ$Q+D΄˼"kp}0O 5^,:fPmTC@Ujr ɚz [)?<rkM>GTSŠqiZ29 h^f_.qte2m,T`4Xi+jGLՋdUپ/;= ӸP_m1MvTxwTe k)R^c7ZgYZ1b7798b5a36172c4cfc0bbf4a87f92c4f4990afc 527e33139d13d29ab06ef1a036d246bb1bbc37a1 9879e6323de9f1b60c16d766699d7513eb60656f d6bfe6ae07bf828e73f3158ec9c7b4cdb155c92b e8cebaba1f0ac906c897804d71803231c71cd04e f6087813f3ea6a65fcc2fe13b7c4393be073fb8880f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c