SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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 9 \ld ] IOA:threads=6elapsed=6.952cpu=30.664gc=1.184factor=4.417zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;Ku \ `xrrNI}>}< sQc(3* 턈Lӷ.6QoA1*siBؘe*G%Sq`G4%{|qb[Q_V3XuC[:` د8Er?~^gD7$ m;Os CY/{o7oFg"XIGW('7Jɒ^ HV  9MK-D_j#0Hgs~^%RxNyer}0մ#ܩDj~OS[{4=NP3f)q~nJUdy󍴀9]+ wVu]"PVgYZ7zXZִF! `o]ŗXiɟdN'LvH۹p0Q2Ǣ$Q6srC?ylF(\u)%.q˽Eo;xk`R{N,SLbbvN'!} :R^/& e,󊒍ɄMJL,֢*ǻh /|2zK(,E}؏MR҇ :/a+CK/{GA2s':In9np)+tD ֓gYZ7zXZִF! ),]ŗXi%B0Dkĵ~<~%g^״qND+F 4}(UEܩ`FbU=3j}Ky$ z9KmԮ[pXB?|#ΞJ}[W[<9,2. &Ϳ*rd;vq궎"3]ݎՊIՊ{$pi)&e_{>d?˦Lxmiľa %>_(QƩԬO[W8W`(BEea\>IVZz5T$y}A5:(R-֛a8g̱4Ld!uNTS$ܘZbԊni)`ՀQDesӊ<.`&U 'UaP]nsGy{7A e9 2X}>v=zCtP2]~ccKYRg0( |6Wj>>k*(woHQ|ԂWOti1sy(<(v)Gګ=qYkD݈G2_c<b}(d_#psSI*]?jD)˦/pSV9+JuWsʖC8/A<'k/H;wٵKjM="\_0JdOɁXC#ͬFI(3D|0i?# uQk֥8s/Kuk4IbRI\,g'Yu\c*@f1Fp^>>LŝpS gYZda8a18b07477b6257404daf62737b5f7eb48877e3af822fee716c8c3f7a258f5d449a67bb4886bf0 419241d6c416195954afc47f066fda364f6dc3ed 0521b67ea6ea69c5ae296ac3b66e924a2c6cd684  IOA