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 ?7 $D| ]/ Abstract-Hoare-Logics:threads=2elapsed=12.910cpu=23.208gc=1.628factor=1.807zXZִF! B]ŗXf1-/6vRZ\vW>_=֭0fA@NF &K][S<<+p,wx̸n%2@!z9 &sP.cy6ǮB-6?!$sLY(ewcLWܬO49joj6W˕<2ˣUN|ʂ^>P.H۝] ؖOKT(c0-}*qJ/bf5WT¢ 0*(RCbמq>)p>1pILC e'"wO^PyB]ͭZxkFAmYP6?oWfMz/VwȽg@0 ݢV]rflU 5龝q0w19k#b㢡MD\Dj liymс QxIbI'! *zkS:+6&S8,&p:!L$HT։Et7Y 5g k++_ KD/Kz9v4]gYZ7zXZִF! O]ŗXi%>g&MF+Xrk&O";'>q?P&Z$9YG0yޟoG&N$,.߸7.UU L3"I@Ϥ2.rp&k) iq7-~~adw>#GE RS?5FZc.M$DLV '^-h.qLPS,WC@V ^(L|ا">@#AJlEԤ0܄7,Mz;CaQyF[ʣΏGa&gZN1t [mK'(rC 6~/5?M]Th\#} k!nLj?߈* R3pQe+6=Kݧ sMQ=򺮫P,emPGpdR ޚ3Ck/{{/@ɟ. e/bhIM3v)\o5QRK9`5KUmA Zq=EF~+'e