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 GG6 LTT ]% Fermat3_4:threads=2elapsed=16.653cpu=29.188gc=0.528factor=1.757zXZִF! ]ŗXf1-/6vRZ9Es˒<=JT!*pШ36GȋtMW%>m^NK_f>kb}:{$1H]ژ`B$ lA)3tm>mz q Ҭ^rU 2S5Ja/:AԍuY@B?AKEQWNM"RwP˺d^N8Cѷ=@yfZoA|[(h d-BܘM_d' :Cem)@OzSXXGu-7YpE48"aۣC,+moTf 02o-[œ_RrB?jӌOyI8!UQ_mLܤ;VslJ<&8QgYZ7zXZִF! b]ŗXiɟL׎̈́>>^6:QS_n]t s갱fS-1`, ݙ@¹NW/\]T~6gYZ7zXZִF! bb]ŗXi%92޼۝h# wH[ںl @m D];'= 0z.-&~`w]l7yn;*s=#_12.>Z/q@j?m#q? (~BdYp˷b$-1%xʹy_m$Ä&J!׫.kn2,Zf97Ɇuoj_3Ynڵx[؆" 3#ͲI?nD-w.\o2zں';hv :!sJ^9}3+JT'MAdIZ]]p&TD3HЭ,p0k)B ={7V_ђ]J8#02bn!:)mtig/iPXڢk >\34Ά.|`@ `ŤA Y? 7lZE!__V3n؃>X*{mBby  $سT&q}8ҦQk0'=dgII5fGQ%g- r'0qa="mJqsort O=!/]CJ-T]֬4 `';L KTu!ILe}"g۸, q~(«f v 4v5(K 0a=& ٢:Qɴ?q#?7|omj!"+?GQ"'%; ByEdc V5@ z1bs= ^# P7jj\?P,vQ\%ݽ10/o#Cs JYΕZj6h/^mT@PƲH%BōR3Bۡ(T(G`>H\V#jjy/63A,ջV}QR+nޯ7¬Խ` d/35`a5YlYm  Ce>3eӿ-;-K-lU(?3|G1!)6NSw:%jTp , 9ZEfz&U1w8^At5ڥAo`CMEͳ*NArE/Lrj aNB0DFLb?J٨aZ bpax]*6^FhQX 8U&h>_$EiiSpKhAcHDŁ!Lvr# $=YB0Wyj GDZgYZ2d3bff258773eaac7ebc356625e5ff04f3b2f2cefa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a 7b4e4ad0c078ab206c2a55cfc8d7c15e75b86740 70f4b946e63625a4e15d03cb5d11a4e6c8108b42 bc5440d3b1a7c20d3c6cd0cf048bd1e2cb121dee   Fermat3_4