SQLite format 3@ .  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  v |,t ]/]ZF-Induct:threads=6elapsed=3.288cpu=13.220gc=0.520factor=4.027zXZִF!  ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ lƠlﻃB *hЉHwj s xɡpw/b)'߬PvhɓM) 53̢yZК!rוE&6p(dqAB.C8IeNEΌH Y͓8fA~8R#ъY$d`Q Hn #oY ۟gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|2{nȾл_AJSpkLv8.@Sf"  Ow.RaGΗ '\֮4&vUcQe;C~6Yh?{y%{S?Ѵt5 ]DtA^ X0ׁ:7%fW.6j y0XmUSDTgVGk5݋op39~BKJ*@kSZX*@jJbyAbykgYZ7zXZִF! ]ŗXi%Bj{?^` Ix$3>x[$!^7t,O-,vJr iJ]ɉ6[Hes8RDv!P970bޭ~gÊmvgJ{C9Cde6 rRzY[vFَg:s7gSOeuv!Vkoib%s*@`9ڏ @Bc|ݍNiJUTzjeߺ̙K5i2$YibRoXâA E -LӐsBxl~(OITy-\rg[+P](NjQ5R*{꩓f_ԌqV/y2AÝkh ~U3d}|,7~VI^f+ kL  ԹV&pEۚQ&Q C ^b`W:力HT(\~TylwLqp3^.VBlMG9)ԠkWs<@/>LXzLFQ  _,h'v,gYZ8198d31c84c379a5982d06eeff1e4146c7906f8d2de776be54086cd6f5d576144c34608108120821 179e7ab1e5f557e1ad70444272e2009ed10a8a917368ad7590e9f336f7536d8f7b582c3a1c0480a7   ZF-Induct