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 E+ , %% Cayley_Hamilton:threads=2elapsed=5.607cpu=10.292gc=0.228factor=1.847zXZִF! F]ŗXf1-/6vRZy`ج] tv#[/ ;=!{FfBc>w KLW'#ER<\J#&&_A\l0fߺVYғl?"ol8݆Ph b 0m9\[zA1"”SLTͫ@r Ãmnjxd`'/rO񦥢u_0V 6*_˱#ZVc 9+is!a‡pt[PAJ_^@/4r9@uc6H&b V2㲾B07ߜbVsK@zky,GFjIEӏ(#]݁1oU =ăǐ9jςsL|% ^;XL(bNSms--ѱ')&+Uȷlk˂ K ҘCiaG'(˃Xs^añ`7@C|lYe H=QUP 9QcZF~(WTke˪Y,(W r'EI3`^AL۱HPJ,@dtC)Gs}NȽ W~Ibwpp`^4cgaYMjRnnjZm89 ֍SgYZ7zXZִF! %N]ŗXi%eY==1>MFWxP:Vot &w02$uNNa +="VXA?I/89 1~vƆV0 55݊ ;"ciuQ-fr#۳ f2gʉ.E([b] ]TP0F7poc޻93(Ş(b;)@ {PX3T2FF3jI«tAsfz5^>NƁWQƑPq@cNpo邅]hap@N0NyOdX/<ܹ<)5/R؂ e;XO\Dkȩ1p Rj 'l>:;4- ܊dlyw8\2W}Wt.!<ʵKNxdI:r;ʨ٤EӒT00AA"d*oaBWA׹ 9#Ld)Z\M𱅦1Ȧཨ٤pHrkm9S?f>.B->N}Wk=F"n,&`;[~jdw.V"$\;e (SilCz54˔:~sȧJ^(6nn62R!<2֮? z<4u'P}D)"T["j @!|11J1hgYZ43bbbf0a3ceea2dd3fb7776c96be8e1f4b5ce3bf 51eb61e2a492504af9f8148f71377a549e367dfb 54d9b6a3dda04d5ed7500cbe6262fab009975214 5afb051e020f533c044f16a05bd414c2af813fef 78fdfa1d3510f6708f28649e4043efa157ccbec280f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c bb2bb54135ed42cbf9b16f494e9081c8660de074 d0588517c8f6cbe01daa7d05f7b6fd5a31064a65