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 +5 \T c/ Priority_Queue_Braun:threads=2elapsed=17.059cpu=31.112gc=1.556factor=1.827zXZִF! v ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-Iߨ4+E| tK'wqAӎ ȃk3do}c-r=odDýg?BYc6BxX 퀮3ϲ$Ŕ/`D` ~κG鍁 '95e*<|8Ė2Z}x:L (o{,D)b$[K&Eegf# >DRY@L.Y(LIͻzJUY}i1iIxf-6 z駤]=NKh/vhk̿w-JepR3>ߙou.YŸVsZ&XO|B(Wjo(* 5 Priority_Queue_Braun S>CGbHdg+#6ًӮ<75s:ں7鷤C,e ^ W1^$q&*5ǹbJ$Uq=ҝcWz{N5%\|1[)<:+?]4 pT - +~zajaMSVЕlח>>x0> ~ lvx-v}>*$`NmTk6; ~"^[QDFfz+#)e$(zH.Ӭ5l"dHsûq?8!-ߝ<_ז!J: 4ElvEQ¸k".3:wp; D LE5tY,H8Cun^d'<3*140>7? \\~tbX!B}D1eqnhK191-t 8aſNJc:JQ%.(Ly<)9!ѤbEyڢH%lcSދNVəlZzYհRD^T7'3oie򊕄\0M8da2f(@˦ȩg4a\/|LXh&q("}FPn۽"M qjš"CfDx_.yoDЋڎ.Mur2$-*j mH 9A4DѪ.$f?ld<1}T,<>R~)NK#ᛜwM{nDzdm4oLS7('+rm&DH=-ZmyёY?SIcf8 K8l;* L gdw|'p7 dxz C'cFXO՝*[{\.Wq-ih^'9Q=v5 rA%R]do3@P{~!oG%߄ rI"'51d*mNR/*Ow 3f4ilQ ZNLEpaBzQ~Fbg@-9 g:b1IL7dG**,!)Ss &dZ5{#,gD\>>;{~`P5v[bV뱈_x c]s@Gþ3YY0-qof"h>v5@ޭ#F>ff {C'҂UWS/#DZLUR)ona9RWoӰ,I|6o.:GmY(s]6(; &;J8gUӿnGlt%vO҆?!h u`b7u͆DlYO  "Y[J >9MBgm $q*2{{rmLER &/X`.n-.|b}\/Ab|C@>:KRmj8F2KA MDކ^}[a<#XY;kEA` $)Z!Vv=JT]}C,ӥ_l}C\5* %cl~r$wC|L)\rܢΛ*aha|H ;]ߔUODTMw}o/r 7+W@-Dy4Mh׻~N*S VŊg.2C'{PT2zOUn?:W9dXf&&XƪdߔX!ްvZO.+|Xg~`빚<}=cenUl~"Dw M$"ZgDŽ˿p=yę֯0Ga_',w;r+! \WK䅌"e[S9%ٿ JyWd x-8G[FS 8|7AI ü=pN%oLxܣР禩;Iݷ Q T:(~ ʂ5V~4Jp5sn >7aB,1 n޴Z9M:XQQ.̧cCgǾ-+ i*4_*ifrQ0" ԉ@gkA˨Ngg˅"~eW \ޱgYZ1bc701f8eb6474e542db12a6b783a92904024b2b 26270659bda9fe084232d89a26b7e7a61731bc2c 34221437a109a5594ba7786476b5abb5979a2647 590e252f95f85bd5cb6bc71920c5a9a79b13e18b 82fce86746f9061205d625fb926c1da3b71e3bc1 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 bea63528c5ae9662bfe55afce882d1f0fb32c3a1 d590558ac27bd56791168a8179e1e46d592628cd e4171bbe38c225c9a8fd46b7620dc1e8ddb15485 e72aeee2f8f87d3ceee7054b4ceb3fe85ded309a ea2803e6ad062cad8ab0bf6f40be7356c48a14ad fb5a8a18a72dc7fae95072da75a324b80b4a4a08878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457