SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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 Mr|44 ]/]ZF-Induct:threads=6elapsed=3.460cpu=12.400gc=0.8167zXZִF! ]ŗXiɟ7KIxjbk- x-7<kP0vC ǪTMRwsN)ܾ0Ќ1Ѡ]!?#55g'}6nWP@3'=^~G alc{7Rc\rʲ8e }f,#xju$Z +i£$]pb(cG-,NB*&  @gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە|  KYI15I)7εUri4fɲ6)*cRȗvoX$DxW+dB0jϷvBU"ft #=ɘQ`цoFbK@߭DvȁdR>8riR|q@ձYd$+WnR^S#T%çIYgxR'v20t;9gYZ7zXZִF! ]ŗXi%L(q !#Ӵm6 t2$ ; OGw^ hHq-(+AMŚ"8Z5@ɓ|or19)4Oھ1z%I)zh1veifO<#붅色=hB q;P@!܏d+ۃKC><.!_M a /Hg(du/x jﱀ?|ϑcC6EĐ` dm$+ATGSTXۀ?{8~2Bd(_id gSUa4đkkHv ^T2O9ZZ:rF)!r\YU`)lj@4P𭪱Y "s67 ڃ1ƙ ǔ ݌mܐzb#KHԫJT +]FLǜ_MDX2P-'y~$~CꝊb9tͰ{X 7rdɻ_wQL0y!&߶|- Z5șuo3T7 !ll0ZZrE;SߣzH{c܅dX CDUvҢuW; Icm0/3f{ w_Eyu-qpК$8-#'ˏ¦nj(Ѯvr @1DVj!ȶ /%+Sν7yE ?,L T@)9`8-R}2 F={ͻ˕KTX 5 {\ל-tDn/|_Fs,BCM>Qd𜢉a?tFSc"n+L7Ų