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 44I; 4tL ]/ FocusStreamsCaseStudies:threads=4elapsed=18.473cpu=52.700gc=1.876factor=2.857zXZִF! ]ŗXf[&%()b9&ɡ;=L@4AU,cgx0\6bM/~ ufevM~2LNr*YB@ԨSg۪cMl_KƦXd/<8X~&jvH ԄrDCA9d.UgYZ7zXZִF! 2]ŗXiɟ/L526غMp9έ!+qyq(ּi务ϩIS[kݎSD!%9|Z?g.KlZPQ1ޫWg%AL^CK'AV:E i*-G[ ޝDy+ -j˚ .aXz&&Z,e-dJ ~9l}|qq=땫pТOS3,%qcqB`A|+Z3$dޒ@S=zqͳjVqC dұgYZ7zXZִF! _]ŗXi%G> c.SŅN3@  jGm0` p =q3-ܨ"N#+Mwa:oGk u]fx^/m+i8X6EKNfhWb h 9۔2 {~Щ4AZ6Ty~I1_>N*+K;9˱ncT_} `N;"L`VSʠa4&G lpʤVˢG>k;_tNWR\rL妩Dȝȕy1o=\g jeoNsW+ݿIy%ȩķthXЕ±t_\)u{8wCZ.8g}2A*c Ԕ3aT%0T* }z*_Q|pfY .zG!3}Zp׿PLV9~26ťheho m&L3Vw}zNpm II#Ar)QǠi99/+XXIm_4GRȕ :gLsCA P?>]4xZ ȇ?inA!4LH*tm䷙ mt[T_5{m'[y.&!> ,Xu97OpvV(/񡼣/E^dlNJZk"} A`[?ve߂ӊ-f/;|ir,DHRzhN"YbvI{$:BxF6saVi|&e>/M>MA͜Ŵ{m* P%hH4kV5a:k()]|MCpRF$x\ ~n/lFچ> [H)$f<+y[@P8zP9Y6χ>$Ǐ1%]5 kߣwzؙ8ڹwMUJѸK`8Z RHqZVf}KssKf()Z|hڸ&`J *o,O.YE4 4M} yKm;ConpnE ^:IJ'[8-2b }LyB)Fa,CjU;" u\+ ]F.f򶴼d [WoUa,0mޭuARٕ 3 Ÿnfc)V>TeFj0v{{h8d p͠.!_kXȆbS9{ cpoA"lXoS<Nj4G I{ˇYt MeZ+{eoRuO?['2l{2`,sPW:59;5q2MX:ptYJC4 G6LZY8+G=-cjq8-MIMV.%6U2-dD{;Ԝl3<5zNt& C]:G+/!Xi>5I*{TA**[0qv\p_:0,WX%n.u[ˑy2 Knu/5Y8XmvE-œCf_%YEAC(b 3|4˜}\qdFYW`tB* Dس !>N Rt(pi_nRFAgɢ(u+8Hr 5,Mˤ,GoW"/jmql̟oƽ Z#sX TgYZ7a2aa15bdb7bc769fc259b078ef449ba858bc20e4e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 ; FocusStreamsCaseStudies