SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  |$L ]/]ZF-Induct:threads=2elapsed=6.760cpu=10.956gc=0.468factor=1.627zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb O):$* Un{;}aD<8?8ïD;GC]:L^@cRO*/J=|[NC?fE,Lk~w[)1;W::!#( e Oې]+wh̠D3JOBGuK{ Azqf- agYZ7zXZִF!  ]ŗXiɟ9\'BFd2KIەvIB7Hĸ &"5`3 rʾT%ٵ4wۯr{h@gͶ^x mLٟ%xYOuX}}ʴi_oZkG[{ lt.ǭ]ʠF?!/?p+{$ybc MudΑ<:F]<]1v-( {@$G>k8a*lue}Yj6ױgYZ7zXZִF! 5^]ŗXi%;eÁZ[O):xUY\g y\8as6Z'`%.TIZbkKRE҈go>W7oS*/MQToj x 2ʃ#\ܡvt#PV9)c8' ^V`TXzckn+Q467Tl gvځ0I{.rBkj-(P$Oc̆dvlw8P߈ ?`(޺ Ec& :. yGi{7Lw:'9|NSy;P2/V]3%YAlG 9=ZUoOfd6-;Q|$h_Nw )LdqZ*i ZEU1CAFK>!U-OTUwQaGM 6/)Hgr,vT@q˷*Ze2F| kMyHZVMOSPIącjtfzT2J>W 1m%ɽb Yڼ)8O8+GY}\ kLgYZ97c7de5b87103ad77bdbdb59bebe5069b71d95f89b4902f8e8c2cff8739e12b432b794bca1b63c5f 55371a0e5df289405658a65102c76afaf936010ec15d01351eb6a0c25de5ba4fab4ed6a3b8969321   ZF-Induct