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 A# \T| ] Integration:threads=4elapsed=7.369cpu=16.224gc=0.536factor=2.207zXZִF! ]ŗXf[&L=RgߴD. t03<ЫP8s29o.8+AY3._w ʓp`8:i::PV6,댏 Di[|Ӆ+7Ӏ_+iqyu6&pKu/r>-:{=;OEm-W%\_}{Pg t=H}qk4ZVZ RoGv@r`ngYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 180B<(5ׁ'&ԏp0 S~T&/K{6aJR .Hu/ v7*?FiNC5190/+ " xM˹ lgYZ7zXZִF! B]ŗXi%GfFz <Q.92حR=_byذaS8^&"fJt6W"lBgWZ on{j,G Hd̮afc]-ƎoZQ<ꭦ @dFOqAeV$=IOA}bM$x_z%Y^cԬ9DbP-}وeb%a?lZ.sVFiY&rω[2ܢ/bg YJj?U|mL:MܶqAh[su"uʫ 19NupCY#ZF괃Q~Ucd~QAS,t8G_>Mi Zç7#v2s0 Hr'1w@0J|Y33bf)52%b}csrƜ\ a|B[t'=Da +}Nùnv|/ȡפ"LJ ĭ8ިu&EYns>mWV :hVo5CۥC0{ kxb6Ï΀v' HGϚ>^VE]3ѹx 3a5= qM#K'uGV9vS& ,юU &j"rG#JVDwB<]a^']A/P5>em,Wmmb2%?:͖$4#bA@>jwd12 5!w=<F2.g(Yݺa@iY1WA,YBM\v3>#B*Psq#`=hPO\5\2Eͺʱ+^cjxu=T~N,f4eVA=y+w?BPzE Fުw*w?ʡȒM|r $] k|[zPx% q,l1BTÈ<9:HWեcLx$RI3/ss'E:z I=oqҞ=b6%5bF*}7[18 6wgt8j>x}/n.I#˃bQxM<۝Kf)r6Wyu2sGF) khgYZff47c8a75e3ea0be993484e73465d5c13acdb5b41795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 # Integration