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 **S? t ]/ Inductive_Confidentiality:threads=4elapsed=11.662cpu=32.752gc=1.164factor=2.817zXZִF! !<]ŗXf[&JpB1=eH j9ۑBm6 Auam͟r4j6XZSbFl:t !tAXeWg.U[=,7cy{X@/WdZE6xhc[C C1 7Xv 9y kmeRajVd#hWMۈݩ\u==Ph`nͦx.3FP|y(W:Cqh]\JvƢE\+/lyuåȖz:FME Ws~@Fy?a5DԜ%7k7Ul&DF&a ; r} ]Gj"dEGnuS/xAXҮJ_C `(lhvGE~G /DaUݏzRTC{J`(*gYZ7zXZִF! ]ŗXiɟT~@D yA, ݊>{*$bQ,N%20պ0wl5hHZD {/0%no-n2|1iUh&FZrp'f3WfK9y9/U8ec|xZGMp T x,=lj.0s k0~X%tWP$on3a,^ݢ \BgYZ7zXZִF! []ŗXi%B8_vr6bCh*q  ^:'3cWg $V{^7س"~yوh\2hEO-o_ճ 6J|8zX1%G40VȝlLaб"Gsiʢ_~̷`HOV4Hn]2it Hiڣk--7I$ԩIzP/7i:|}ޜ%)8B[Aq- o>dM:y'VuUSHjnúfyA#qmRNȚ1t%?´ZFT4Uׂ_K0x^2eƼ˱+5I 9i\RrwaQ}HiOcsZENtur %LJJ&r)y-f;a󼺌ba;n lN>nuY4pBu ^/[6 pn_Z6iwҺuVMan@^)ӌ>}5+B>E4ΘX,sjy阩|s6Y6D֖ۧGgA/_`6o/25 ):B]I՛f EwXjbk,[wE`vzrx*!GD,l1lѰ>#.m0pPD')+͐G䜀\4--<[<U)*E<5s*QXQcL"Jl>)] 2_9ޥ]1L-BU4@PHG ]zrmhP7Xڗ<+pԨ:MFn@N&Ƭ 10X mb` R;6{Ti5md]~7@,7+4wO,~sf.)Tpluu#`RhGG&S@BHo15SFj} sE1 k| _](l_/yfXrfl֞W:E$~I"j 'ԉ o}Ӑ^ēkGheI((^:/}E{Dq@Mz@%2ܝ] n 庘$YQثӹ+?(ncױ@AΌlV{nk84~VwHr.]c_ڂ]!7P)e=`޿ b/"$^1ܗ.?eͨgyl;6M(fÊikBL1 q.yHG,AF7 VrrL;^ޏ$qo')-z5/lNbVSp3=i4LŇUB9槃;A^P9`kP NC"msY7 #)s(U6ԅ8TWv`;r8z dtSv0wt 6hArÄ*