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 75 D c/ Priority_Queue_Braun:threads=2elapsed=17.716cpu=32.356gc=1.728factor=1.837zXZִF! {$ ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I>,XϘƵ+Ȳ!E |UH~h)'̑i%-S}y_ QXLzP#HSxd֙JW##n'0Lr~ߧ+N?&{WZ+#I7} +KiT Xl7\j8l94#afjxAw_rMP^մY,R9EM@u9,"*r148S ǍrO•fZi.݁@(Op NB^/Э.Txʒv3VnsOMrP.*?ʷ[y !rO.|~0 Q g\L WtO 5 Priority_Queue_Braun,tg1{^mȣ:ን~)#>%ͻ [alFFӠ 7POMQ<A39Vq7"9ݏ ĥw᳕mn!9 xYmԃ(-Ҽ)ja8Ͻs[٬+tZq9 KS5KX6:L l ƽb<>K~G R{/ BRIS5o0Bh])0x'K'+9Z..(łI ܏ I;\ϥPo ;\?Mں^jj..fcڱ[QY܊]Fޮo}e7OSv^(j6b[NZ3)$-^RW]ůbtH/Ǯ~9~~Eh2NV~Ҋnp&3K4 \BѾ1oփ7^ٷyYڈU~r|yRZ!DR-Z]cp?P.f;-x~#kr;cO|Szgx)WCSh1 l=KCDrf Q\mSv|p\nn`Y{)yIƑL+erGrF%=0?+ eM x8byZhВ=]Cu.è@E( : O*nsAH@ K,]Bմ2}'u6~p}&ֽ?B1#%vD9HvcNUpb/akVG\u+LW#t9#ˡ%]#QwnL޹O @+A9-|2)TNLBGX>ی1o*.`匧MX.8|&O&;rOuM-++Zb|mKQQoCF1sV'[H%f Gza+ x>)b#D{07$=XfԅeIJ04ݠj)V8խЮkc {N (b D؃ifnKˈE58<=͉yj'dh&51PE/-9gYZ7zXZִF! [:]ŗXi%Hﱝ,R |'_N_`[4?& !'5eIj8!aw-_\%&C}4|,еjϯds黙ʩ scN-HDUU<ۣ>9~-Q./J949w*<4=V6#F ƈ>V,PJ|N9Pu-iI4Gb4m&@_t[s,@]D-O#U1TH?h.htzU?FR+6C15ʜ¡\q69^Vx}H5ҟURhkDbH~?~'WNYXmF: e48{ ־tfc׾ ),M>A䮸t 3m"vCFu@KqcrWN<-_<~R d+ :wN4Ղd:UJWLk,CY*8Ո&*ǖN?\v*]rqj\SQ` iұwY%ebG~yx\9>cSxm5G]n }hX#s#? G&F]\vOjf6?'<ƟzǕhwvVH'畺Cfe":q{kmi=8q驖HSJMڋi֘8m] iJu<.p;+MÌEtZ-1#֒Y~w0%-Ej-Y㝧:$]~B蚄Qì H6p0^@.}!i hMFʟ#*Fb_N!mkKittl r]J >bQ(=ι,Afԉ] w2 dbVZ8*xg,!!SVi NK[}GNyp BC`ʓ9d ^gYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 5cafe5ba0b4d71bc9fab397707e19972832a3527 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 a6d881014016ac510413e96c94577bf126ea335f bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f5 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a fb5a8a18a72dc7fae95072da75a324b80b4a4a08 fb9f41bc6f2a978ebc5a88b3965ce177e952dfee8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07