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 # \T ] Integration:threads=4elapsed=7.002cpu=15.048gc=0.500factor=2.157zXZִF! ]ŗXf[&L=RgߴD. t03<ЫP8s29o.8+AY3s=y@bɊ?B6+g[<(eҶ(p&g6rzo ɫP!IqGg}sUF2<9ĺl6wݫXp8Dօe~\ix+⧢sL:'prgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4ؒ/WNۀ/I! &8i Ϫ=A13UU{f=,EXK2˟Q)mOQ}q I2i?DP'q-VϜ=\i^U6'gYZ7zXZִF! =9]ŗXi%L 0TsR|ZEH;|3s8 B-LeeE|0HDB1^r)94 @cbCAρM=[AdžPwP-HC78~K0 em$ybV xZ>Fo2P(t#LZ k,hAy,R˦W).:Uam) PnI /e|-!MO>>3f@o^A/B!yU\0.Ҝɡu_ lLmUT_:RtP;_KM_Žs;|.ʮByQJ.=SEg5 mI<3TKN/f5HTE-=,1A@&O/ wk0fV2H?[=_R)cQc}hpݕ|zr#^ aQn[\QI~:+R#ˉDPKGP_dvK-1tOթ@nǹF(p]xsꉺrejFC~ F -Bm%94sƄG"DX2c6ܷ4HmQHHPEakm5KV4ZnT/Dwc[V&_娗vXO'=hCGo8 =$p#%Gb\T`x#XO@ "@{{/4Rrq>}7$}!s~q jBf <y, dl:x¶Eͮ{XqTJ厘D:Uyσ P9G&0#M5/`P:+8c]MJRͬFpb39m3)l+n'l]l'M4ƣM}S+4seIޅxzȱ|9blKcauF>Y.d"9iT@pVӓAB"C}O_lU?Hy]oߗ7Kc!V?oi.MeגU7 10vWu+HUga\سWs\@WgylI\u7]H4ZY[ zkgYZ960829b0c2948d14152bb2893b8c262e68ff7fded3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 2b11f4ccb587528b98467ed17165aa165adff39b # Integration