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 554= D| /]HOL-Nonstandard_Analysis:threads=6elapsed=11.138cpu=32.024gc=1.088factor=2.887zXZִF! {t Z]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF#YD`S\쳽֡}{o%iݘge[ Im6 H$:P>B֠$-{k5$MɴZ*bD}lsRgX>{߀oL},efI"Uц{qH7Z% eżc,- [ ="^Hu:SA8p#dPC?~) YJ%/kF4AdۥT"<6PU'ayprx b)3׿SAo!Qy,/cӛ%svpW@Y _ {<k;{f_Ő4S!/ޥx/u}Pyl!jգ;!>G3Zbɵq'+-)ԭpaT#س`J!1?2TgYZ7zXZִF! 6K]ŗXi%HQby+=7}þ~J)O9.Sp%xF4ah&bj|I?*m?,d<ϸA@i+0pmdmrTz4EG_I0YR>/d`/z~čBuԊ ȥäG*N);V)hSn߳e*<˝ӏ#-M8!a_2Rf[-3l}o\H:|VY*j-]%Wm"6p.xkO冕*&FE9֌#a5zAIg2qk92;PLSph]mP]՛}In9&PƱ%NLFL'2uhd8u2yyd<ף*`xRkƉw8J>9~l żz[ߙx'Qvp؆