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 ((I# l| +/]HOL-Nominal:threads=6elapsed=6.220cpu=16.440gc=0.732factor=2.647zXZִF! +q]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/H--ޣy/rabVvLlYQN3S 9HW#MxA GM~t8ac~ۧfg/7 %Ͳ3$Zݠ, |8"*vl?˞c͠j+=J y] V!vo_vIFLrO7!FlSd8 QNίoW y H:oمI+ގI^ B{,t858hIdd4ps$/[ 9)xKͦHaNĭ*.C&,e]ie:v%/ MTFEű X]P8Mc㪇;δvRݖx!x{\sXbr #60J]r=eN0Y45m& Lÿ;uJ CL ZS-\UԴ5w~9κx>ɥy>^UE;!a([yJ񯑙dpem'7r # HOL-Nominal-vIuទ[5d,X,(PF7?s1'y\z28D¿Sx$j- !P=#Nr<بѾEXXXjCK_Z M'܄MFU6ȶl(%Pz5fQC~Hݦ@ݖ:X>:AU|/j=΂_3f>遤zͽ25XyhY}ziYLU_m)2qCo}v>EE7M.:f '=DwgZ AVS<*^ _<pSoCr*j]zpqdUB!T1mk谗Qڄ9%+W 8fd_j*ss2!-Z}OIF|{ر@XkP<"IKM$n:iV ޱgYZ7zXZִF! ]ŗXi%qCJ[?3z( ;tA׽J69< .sBƣZ<^ѭCüI=X .FZzໄ~&PLLgB֧!ܕP/W Y["0 #׷&v!9[3OgFzWY]U, ;\ѐyD_x*3vXHlzpWGcOՈJ٠"o!PTҹ3[? !e{deBXj|)!FV\B4e56;ʳ?.M\\e$TOrl$U J"TvUk1PVG8MB~!])7" f 5DL%]Հ* ؛լR&!Ŏ&x-W4Z kb;J?cA/,xtJ.mU_l O'^اzFl M_IGB*(Ǐ- {R݇^fK;\]I1Gd㉈G}i>OwjTO.j'9Z* ?+AK) co]"O:EzXά#,f'c>6?@樧Fet P&i:K@["nhgΧp&,G:懐>l;-ݘ ; Vݫ9/