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 X  c/ Skew_Heap:threads=2elapsed=13.678cpu=24.920gc=1.496factor=1.827zXZִF!   Skew_Heap i]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I>,XϘƵ+$)ӏc&ӪS 0am{ԢK䋇#u_+; K 5{(t"ed*{]ZA)lVk (vuPJciR qW$(wmka60FL#nkR/|bQ苩uL{Fk ޖ5tdMi &*MfX_м@ DXL?礕t8`m{kR(j'L$_"_6J,_CH1&MdR>2_P ~m{k_.f10Z#xي7p]0Lkn\ZP PާI1$r|E5ae%fy{ o bEeεiqc6sTG-_9z+HA0(u=L|5!Gy)'oS%YNȚ;;k|d1޼ۻK$'r+Kvbh.j'"\#Wb=._zJ^ ܸcVSZyC|V9"|,g1&i%|=VYl P|V;g:y: Y= \>.k5}{)+2[)!oA6v b0$.yda3Ǚ:2jZ]9.@m]'qr)ԆUtL.7|_:Fm{dd n zU` w(k%‚=]T1$J'1:}k8 IӖ_T;kۣLfB#`戗i~vMNȻ3܁fYe;\Sg*1H9ޤQ AX噫r{=ǔwÿmS0=@S Mڒ7˲M'+HN/Q$:ٝAgtf[f% Wj1\4!#n!J(L(Q}6>> ]𫎝)ܸXixȤ|M'~Yuh}5B#.&bv4mHeB=1ٚn}neF\DAc?aal ¦TKcC3eub/{bu3ux[#KC;}sA{Xjs9yBmŋ>u`+6r %)*!$WbwČ;W2_TM#lM(Sa<}v?qZP{AFmoL;e_o,SYz[{N,ӞD@6<캬ڔ8%p|6nBtaœeYjT|`|eR6A}"):b+3YrfOtI*A/gV}g.x * 'Ԓz ִ}{-?*CJX`0}ײ X &-iQ8U.R_?(k?Ė=uH?ը_1"X8;'$] M#d,J"m;&SwyH/B0CQǭc>"lkUrC-[h!,5C c8 `}})%Bcjh!p',e`Kz/E1q_^ 5YvzAHX!ڌ !Ne}۶#ty~M+MoPclDA#(` ]k >+ kPʘn;ƌ)ia{d>b9ָl9:>KMb5fla@F gCd]OEt}ȣ (&#`$3 P VSgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1c361c47a653a91b106a8f2e0279888a71a6b0a0 34221437a109a5594ba7786476b5abb5979a2647 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 53dabb43169074437e760911a6319a5fabd49c1e 767b848e899bf51172cfcafea6b2fd397e8b0312 82fce86746f9061205d625fb926c1da3b71e3bc1 8ede251b4db5e4aea7a0c97caeeace95cc6f1aba a6d881014016ac510413e96c94577bf126ea335f bea63528c5ae9662bfe55afce882d1f0fb32c3a1 e21dbaf449637eb9161af006cbc8f4faf91e00f5 ee8b969525f5c0eaac97aac13de8dedb74a8100e8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07