SQLite format 3@ . BBh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" 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  - LT ]S]Stirling_Formula:threads=2elapsed=17.883cpu=30.180gc=0.852factor=1.697zXZִF! I]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:"{], ~+L˞9`aMCO }`%F^i6*+D\ !짳P$^MStu RsŮQx] @TꅗKQ;Іf$7IZ1#*zEȌo_ REtgy]?q ]f'K'C&N/UcA >iw$51OCL1XEV\؝@o:ޑÌu@ qp&5z}P,i@`b\(BR}ѐgy*ր[5=ݱ~8bCPƝ ?γ6[|@|!=aL~ݲ -g憱NR !y]< JhjHV&؝L ƷbŮT ?;ztgZ'hBҿfViÏ5# +5/:6xK ؗhEo䓩mEk~hSɞpVpmU#}rkv6#@4 L"H('9@Ea_W!Yv\@_;riy\v ӳ *lh 74Kκ^T,z\ ^f[oJ v{Š÷ʬs b ,s3%2"`(s~{w~LPFeA7$e 2<\ZQ։}:;F̄?)?k&-:9}}!h8Nw1pR=o3]E XcVb:3\݁Xt%ŇKǪq*OӺoc[BվqAWi C4 K,0g_V;Vp}k,w'5왐J4Cyz]9gw,MyhF.cX>FKXIOdo}]c })lq/Nxj:U6ttqO.WMuO e$!NdM^Q>ˀK[ X<~Q*D\8%~Zg\tQdL 66ѯC::傧 .:M 2qctڥwiFok9nv<B2I:/nN%C^"aia~1}`F$eX.%ѴKOk0zé`|G>YoGz7cכ'M @cYhabb}0bM ;?*~<>Bx\7s#H\%S+P&@w2oВsA /R?ulFz,+3݇燯1Es~ +c!Z4k`4