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 HH% T m HyperCTL:threads=2elapsed=14.418cpu=28.004gc=1.384factor=1.947zXZִF! U]ŗXf1-/6vRZX]7b,n3צ{hB{%̅%`2ZJIKҼd-\R} \S1$M֬~;uR W Wk")٣;&uPICuCw r`pX1þA,n2i$јP\NGkc}fg$^Xv@Kgx}͖p[TV_n=s*$ߒ5+kjP!m e+"$mO~{K*e`#aIpXZ^@Bh+9ȧa+\^UG3|RqEs:AY/u:Zi{ ąi.Q0X8z#d'Z֕lXfh0 ¸ϛm!SGw恌G3 \8`\6R*Qgʋv7#X=uUAg ly|/HMEH&pm^=   HyperCTLw\5flٜ~PX "T\hiFRIs55E JRIo=B^% NF!xuCiGAU IiP:] Dd J$ lt`s4~\B0c3ћ'%ǸEb3-i*_ߖ϶/7CBk8-veYi p%`]n }JΗz(sJF^ҐJC!OTMV]2j"-1 wV-fZs&k' D@BT..=FA5e892p'd#I$7 O\@z6C։!ɒ):(]$#rSIѕrʶ"CI^"2W)ʾp>C9n7+2.axx3a<;v"f~2 "Ć,#Iĕ$Qcϧ^J3P&DGT+!6}_2e)%@>p`= y}0C&qEX΁2'&*D]@yLB %DTCPpeSʭ9ě55TN9C_O2 dz<9 RdUKB?TYU<3̈́'̇Ћbk`̦ˇ^3 (.;>p/Q㹏~14ģys4AiT*b\A5'ʬ`s괜xD3EY~f1QuոLN9M\YPM ]S/{xG 0$XJʡa>8 ' yc꿻pHHцk P4 |]LCȡ FӴx}ۭ Hm^E*B[P=%J6b' AL{筽pI@ښ]ƕӔf煮A ;:4ƦzvUOdy9w,%2"GiuswKܒC;up@f&]j+8mI,(/%jW%rtMeWͷ4gYZ7zXZִF! M]ŗXi%04r05/F' wd6oʛKP-y$MƀE/޽ؓVsgkLy\Bg.ĮQsa6Dx*'-W~^6nK`* l9A6yZӏ4eﳱ 8lƏJ#B 11'u3ͱ]ٞĹ~R_~ G*]}d-HB2=ဴI#\)\vxd?X͕$ċ3Va6|?_BPDS1T"[N -pbD9MgaUug=VRYa1=MP[N &%˳B$$H7\N##T%3a'ɽe~w7kB'F_mdGS%&űSju\-tv͍C6UJX U3/6CߪA>{F^4Y֍|p(-m3;? ivU#H'nVm; \ UoOfE῅ҫx_dx M/wm