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 fQ | m/ CryptoBasedCompositionalProperties:threads=2elapsed=13.927cpu=23.584gc=0.776factor=1.69 %Q CryptoBasedCompositionalProperties7zXZִF! R<]ŗXf1-/6vRZyiKEh[GIHa3灡U.YX.YtzqAd8Xv Ѹhj8 O!"?v6ә 0 J!u!+!+i?tdӄ"(M58ٓÒh>֓3kcG?q [d"xN6ۇf`jDXjXP) \Iƨ=#`h,Ė̊\{߂B\ }>=9 ;F8④Y#ݨ(w]o6; K-GAbXݝ:<889^?,#Bk?Gm "ֵkdZc8PԸʭBQl;WSyiE2zp ʆ kB\kش{}eܭ[zD .zUX]|Gֵɺ̯jn䙔2 bjbjz-b/Ea|.B I%ܛZXxk=ucaCY{6.m2ɀGdϢPο9r`,jKNF-WKvmL;Jcl<LGѱ`^eԦPRLhRreS$Hhn H*5[c~ m] MmIdi1a9Yt m9lҾ&H^o ;)X? M,6ce_gJufYfKgtȒbA|p-#kDa8#Ffy 2'ֺ2p̋~i+>df @EHtִgbv"fI I>("ndϱ~{09/SKS쬆ާ0(MI%cffF/ #y]+)VѼ?h'Jx$=!U UQ 'ܴ ХmEtgYZ7zXZִF! Hw]ŗXi% NST ݬS쁁ru>-گٖQc_D3Y d{VfecNWiv<)"QWv_oB=Noq@5RKlcmzWV-į5ԭ6 ^-3K[D̮꒛HUlfҢ,IE ~+Ҵ&T +Bs!$2=ݜ5{k.ht=' nseړ,A4 # Tkp[)toƃ`el2q(V߂ T逜6RfJI ?ܳ_ U 2W`l5+˟#=M!Ӑ7D_s_Pv[ :p#_EkV-p߄ }8"$>#X2lFU`#),h;ri%[\M[ :ar<~ڞf3دk[RarV^pp=-88sv?  ;+[g8Ъ724z g*z {g{ q%9}Q׸` nZ3|.lI=x ڙK t V4DQ!['Sݳ`ajbp(W!˃QOC~dӿbYKwq7F>[ȷCǺeKab$`}x&Pu#tt(?H0 S]~)Қ o( ?l;_Pܻ0ƚJO"H3c/Ē*i1S&oH$Klcɀf !gY1gHj |M?OҨjMpSVUÖK1B $ ,gYZ03256fa1f715f129b138766988778be346832b9d 135340a9feba4bafcbd2cccc70f9f211d0c25100 1f90b0e0086b2d0384ef5bc961db45d0c986884f 56d8d9984a33e9b2051826bd1d682f699c08c8f8 7f0b3e3624180bbe09a862fd9f01affe1e7ba5a6 7ffdbf7c10d1bbfbf2fa7e48c924af264dc04319 8e8dcbe7ee912258a311d370bdcb8c05c2e810aa c5631d165d78e8c60703bf53383f004028e3af07 cbc1e3419ec1476592c54fd73f1d8c2aa14b61073b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd