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 ~ || ]]]ZF:threads=6elapsed=12.351cpu=43.760gc=3.092factor=3.547zXZִF! 5]ŗXf1-) enȈA$jB80l,v8-qFN}ƅτEN |:k1<݄6v HBW\[NSÒ>O3?`f8MWMN" :\#oD'8zmɒ\>k7C|b,H``Bq6EDuHʿ$3BSg}?'Kəg۾9kb8gZmgߍt=LP50 0j9y'r7avA!]p(qp4wov2EjMH5ov?6ȹ*w "<*߭)BIf%Y% [V ҝ 6 q"9C{ &*$^Mo?cww!.?nT+鹡nwDto%GXGװ׌A dm!ҲgYZ7zXZִF! 5]ŗXiɟ 1FE`穵.N7j3/E A {e]CX$-Ɇ*?BwZՊ!/:'nB]ca z0Qc<ީ_R]rL;x̲l66FbS!{J o !B& :%;"! fIrq('SR}Ӂ-n'$.M}w7+LsQk|]|7٩Or(omQ07B-(oXVrͤ I%uK-|jFJ&PkV$H@xr:?A ,1%]: q gYZ7zXZִF! ^ w|:h+;rkʲ4EOLPgm֋g7I$p3+{t;A9찹W W{DX+;m&ax~4v9kT?k;c,a1>}O_pՙiorv XtK] :3RȂ)zNs6 W 쥰UGv#2KoatqrA?GcR͚*"EߓX&wQ{,қ,aBCT] KA^ rqFQ"M_iRͲcD+; "&3,e+v_,(qSHqo[5:S&93J鴢RAQ"r5o2?8q?48IHҹ$8N}Y)p ݉VRq{I/)kݹZt~͠@1sI¦m6`K3yGV8T_~ x~FgYZe99e570b827696c5aad6ddc0ccb36952d36cd9904f9adad097b83b48748aa56278725eaba3e0de72983deeaa1e79267ba3e4026fc02a0504195a182e  ZF