SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 ee|- ,L E/ ZF-Constructible:threads=2elapsed=17.988cpu=33.736gc=6.492factor=1.887zXZִF! qN]ŗXf1-W5"~ H:F`C L Ѷ\٦`:PstCFS#AͿz3:0!@K~OQku.ю>Up&~!!;v;v&1-Ы:.ϵEJ.h.H.ROƶ\hʀwUz9%[̓~ lU+@> m/}N7) - ZF-Constructible5-i^kgWpSwQl%X*a:p}[,)]X\h|myDS$<|Ʃ'T>QۭOGȹ lDi @ ֦ߠQX~2D3\=!"\ Kq@9d^J=5DWVʦ%QfH'6nDRd-5&ñ qhl [|_))s=C}TZ)"\ [y s4l-^իGjžnn'I!١/CK?  `Zݩ*/KEzQeƝmC?"Z[ڊO|}\@@i7ԣcs <{2" 3<&8Sē-ӮF0"p%ow0'sMcˑR+8٥-,ҨGhw̯㤊 uW-Ol #)eLSShQ3d7^{9Dھ (. Q~!@!8]̻R 8CgD}f%pg<,k BZ{ rZA 6RrSݑ2֭k:msث<rD4Bq+ y='YDcghdi]Z'Os 6DdFk9ٜ^ hlM&+QY4kEԳ4*KQ-TLHۄnj\RH2g]dva2!>, , "u^J+AV-DgtK˔#򂀿 pK>tۏBI*rlNiY:.>ru|c%T ŁVbXTw!sj59pD€3wkn&PmUG>pFRY.A6  9m*YoMԛ_zहYv^7$rSlق:H:u IQ Z"n5ȟ̐ΐo>iN10 }:Ubc>z&FA4CƄ3ɥL"-\&^ tNfԑ9kwRk mo(/`ѕjh;roFִK0xtlFz5.p#vCҪdkt˰ A?hp.)K0hcWLE MNI8v(-^eɪEFIF ,-vD9{a KA"TCY ʑrw/X O@ 6aƒS-$4VƓjݽ]aAr?oZ63}eUy>t!/$HrVb:TN. ٕIM7,Zo-3%c(DS=}v7{ 0u@2H@%_@kq~&\pW&?rPASy2LJeLc۹cGs%Aoך¸Q B:1wfKF&i!Mboa? Qm52JU!ğ70^3Uɨ1fm$h d4ڦQXj _.maw6{o.O7c̄~}懌s^d™̔Sl.0!*D{6lv70IiotQn:Ͽ̗=%j{,okA6`i*8>_4aj8J:a W׶CT3"!Ͻ3=7@n4{C7).J'a Z,vBð困G(Y[e2t:*CSFj5+ <]|.^CnF9-[!6CخS܎0ߙf%R8Pu² BKnuȉPU ;R=d|YgTY*Lb7{ѨT :./|q9yͬ>>#-D*8fx`_?TߙYEv۹QU޺=j/j(7mB akGavͨ)hQ!=ΧjڟyHXyъ}g* BiaPAҒ ,#|c#vQS܀=/}, ^@:*צkbؓn@DEŀgI'YWnXQopZ|g఍ޞٷ)dqJsf-ht^D=1/*77qe rKXn+M/=@d4i,_@o;l=AHX7`DBY#ā%.֌o'd+IK-as;";A%7v B=`*IBƙ]_""pɁۣxP%|aڛqܜ~YZRD=v#r@f)(32"kC32< &SKPZ"H,-:QZľ^^bA/ 9>9?'= 0Z&GSM/eorm7iqgYZ7zXZִF! ^b]ŗXi%Blev@sMaMUODc-׉F9El+ab>mRdLT2-.d= JfigS/v3j] \B+;Yˎex!F!7SN:ן w ւ+z@V9+Jh "?"MoJ J{ uGhH9mmHfƲkD\mߘ"1ܺԚvE\y2kNk\}5Nhj-QcS=<#.a* b+3*w~)t6x f3G8D(.Zqr\(K[:IGPt?ieP#[O81葂VFZMŶR&QL~+r5P9"IQAnAdhr_Em?o "F0FtŜX@դāC0!P$F@҂$)h*!`GH ?竅{0=vJ@axT%b~IʤJVG>oWHIk> *h^yci&4ܒ.8\pyzر9nvnrwv._%TЮHbl TvR| s d\vĭ>c#^ gkpx/0B"ӹ%6JLa*x #uh3곔yQU}xr;c }uUb=}V> AI2clVN\ ?[[IcM\NNҕNҌ\k^MߑLByJsbj 8! Vi/xIY?I麔Lݧ2IA /2'U(?ifZdƛKW k٩;BhևW9Fx^({$23O-=qٛ0QҎ:Gdpy'zE2Li I*h#>DEM݉O]=>B