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 %%H3 td w/ IEEE_Floating_Point:threads=2elapsed=19.471cpu=33.332gc=0.608factor=1.717zXZִF! M3]ŗXf1-/6vRZV"3%]r> =GX\sY곉 aEx:;w.cl 3 IEEE_Floating_PointӉBtz3MN7='U.ZdGO61,`9-bI&o͹'`q^ vYUA"# [V(OuaiV̫Cb"']2>YuP]HQ \ BQV"Ag=iA8Jp}ªڝёc9jTjoOFlק0 ep5WP}1s%b?GNB}8Y\}}IM.ehu ).Q,*e"C/!YM3uvޡf:8L70ɲvTW.AO;l2 J&YDJͤ G@%ͯc+`JKX 3v'RT_CHC{Dg30oؖbIDW,_;]0:dX)A5E5⼑B*vi CX~:̯2Ϯ)լ0Zl3g--IOD䞥Pf so|>-f;ْ@^o[w&ET*pW4Mmv$  RDwR(OW6ԧU@;QfIE:WYKL[tu^=?ah5WB;?ŵ+UN Ԕ"eX!?^3_^e/{`72l3KS ibЮ H UlH `Z=c}E,w egYZ7zXZִF! dk]ŗXi%=,21]KAJෞ NJx^ >,}m_n1"4#)7]4p=Lɚlb P}| BSIch|+^>xQ6HAg=>)3:Ŕؼ,81L0ex;,$y1,[FysPP-Q\ 0/&H ȳY5׺YgU3)EJ[cQCgu3?+Q =v\~5l>gUW8JE6'yt'8gCְ4f+l3S$Dzzg?xH *Z{5(W){_JhzfzVM59?]KȠ(b2dMpWq-ğS<=V(Fͱȣ_%DXx]>D0%I0bQoX2KF4;Lw=%W`v5_F?]8P:c#k"wG&&"6R8CVMյAVC3;j@qn* ! 𪱃P9ڹ3E|bcj-3|s[%=y fқ]Υ8Sy]*޺PsqٷuCkPi2>Ɯܘ"Kٹ|۝]l}&5n1kW Pbs{*951SbNٖthn/3L]xdňA*2uںMqŒqʼnӦk%(>OzXK⸇5~9-*R\ :e%ҝo!L lGX/U+Jg55ZjYEZA6@*k.F˚kvawFy2 Stmha9rЌC#Pi'_eg }H۳K5F|Z ({ d[,uk !0! 9@1OA|x?Qy%*MƸJy[: Buwm?Ly7s!՛ PggyrH2op h4A9у- < r#p5몱 L IgYZ52e58de7f6f6fb16a6433604b7243bf110cafc66 88d48bbfc3dd5a979283b2237dbbdff2a5915fca 94eee150f6e23efec055b9cccd65b0bed6c814c0 c305d1519764c5f5875553ba77696bc8d63ba3e5 cecbe1884d68328f186b68bc692222731ec883de d1f859c96d5de7b9b56cf79764e40635c7b52969878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457